Merge branch 'install_23_STABLE' of git://git.moodle.cz/moodle-install into MOODLE_23...
authorDamyon Wiese <damyon@moodle.com>
Thu, 30 May 2013 03:27:00 +0000 (11:27 +0800)
committerDamyon Wiese <damyon@moodle.com>
Thu, 30 May 2013 03:27:00 +0000 (11:27 +0800)

Trivial merge