Merge branch 'install_23_STABLE' of git://git.moodle.cz/moodle-install into MOODLE_23...
authorEloy Lafuente (stronk7) <stronk7@moodle.org>
Fri, 11 Jan 2013 11:16:51 +0000 (12:16 +0100)
committerEloy Lafuente (stronk7) <stronk7@moodle.org>
Fri, 11 Jan 2013 11:16:51 +0000 (12:16 +0100)

Trivial merge