Merge branch 'install_23_STABLE' of git://git.moodle.cz/moodle-install into MOODLE_23...
authorDamyon Wiese <damyon@moodle.com>
Fri, 8 Feb 2013 02:59:37 +0000 (10:59 +0800)
committerDamyon Wiese <damyon@moodle.com>
Fri, 8 Feb 2013 02:59:37 +0000 (10:59 +0800)

Trivial merge