Merge branch 'install_23_STABLE' of git://git.moodle.org/moodle-install into MOODLE_2...
authorDamyon Wiese <damyon@moodle.com>
Fri, 8 Nov 2013 04:48:04 +0000 (12:48 +0800)
committerDamyon Wiese <damyon@moodle.com>
Fri, 8 Nov 2013 04:48:04 +0000 (12:48 +0800)

Trivial merge