Merge branch 'install_23_STABLE' of git://git.moodle.org/moodle-install into MOODLE_2...
authorSam Hemelryk <sam@moodle.com>
Thu, 8 Aug 2013 04:19:55 +0000 (16:19 +1200)
committerSam Hemelryk <sam@moodle.com>
Thu, 8 Aug 2013 04:19:55 +0000 (16:19 +1200)

Trivial merge