Merge branch 'install_23_STABLE' of git://git.moodle.cz/moodle-install into MOODLE_23...
authorDamyon Wiese <damyon@moodle.com>
Fri, 19 Jul 2013 01:22:18 +0000 (09:22 +0800)
committerDamyon Wiese <damyon@moodle.com>
Fri, 19 Jul 2013 01:22:18 +0000 (09:22 +0800)

Trivial merge