Merge branch 'install_23_STABLE' of git://git.moodle.cz/moodle-install into MOODLE_23...
authorDamyon Wiese <damyon@moodle.com>
Fri, 24 May 2013 05:11:32 +0000 (13:11 +0800)
committerDamyon Wiese <damyon@moodle.com>
Fri, 24 May 2013 05:11:32 +0000 (13:11 +0800)

Trivial merge