Merge branch 'install_23_STABLE' of git://git.moodle.org/moodle-install into MOODLE_2...
authorSam Hemelryk <sam@moodle.com>
Thu, 1 Aug 2013 20:12:00 +0000 (08:12 +1200)
committerSam Hemelryk <sam@moodle.com>
Thu, 1 Aug 2013 20:12:00 +0000 (08:12 +1200)

Trivial merge