Merge branch 'install_23_STABLE' of git://git.moodle.org/moodle-install into MOODLE_2...
authorDan Poltawski <dan@moodle.com>
Thu, 5 Sep 2013 06:43:53 +0000 (14:43 +0800)
committerDan Poltawski <dan@moodle.com>
Thu, 5 Sep 2013 06:43:53 +0000 (14:43 +0800)

Trivial merge