Merge branch 'install_23_STABLE' of git://git.moodle.cz/moodle-install into MOODLE_23...
authorDamyon Wiese <damyon@moodle.com>
Fri, 12 Jul 2013 01:42:35 +0000 (09:42 +0800)
committerDamyon Wiese <damyon@moodle.com>
Fri, 12 Jul 2013 01:42:35 +0000 (09:42 +0800)

Trivial merge