Merge branch 'install_23_STABLE' of git://git.moodle.cz/moodle-install into MOODLE_23...
authorDan Poltawski <dan@moodle.com>
Fri, 5 Apr 2013 09:53:03 +0000 (17:53 +0800)
committerDan Poltawski <dan@moodle.com>
Fri, 5 Apr 2013 09:53:03 +0000 (17:53 +0800)

Trivial merge