Merge branch 'install_master' of git://git.moodle.cz/moodle-install
authorDan Poltawski <dan@moodle.com>
Fri, 26 Apr 2013 09:37:15 +0000 (10:37 +0100)
committerDan Poltawski <dan@moodle.com>
Fri, 26 Apr 2013 09:37:15 +0000 (10:37 +0100)

Trivial merge