Merge branch 'install_23_STABLE' of git://git.moodle.cz/moodle-install into MOODLE_23...
authorDan Poltawski <dan@moodle.com>
Thu, 18 Apr 2013 11:43:54 +0000 (12:43 +0100)
committerDan Poltawski <dan@moodle.com>
Thu, 18 Apr 2013 11:43:54 +0000 (12:43 +0100)

Trivial merge