Merge branch 'install_master' of git://git.moodle.org/moodle-install
authorDan Poltawski <dan@moodle.com>
Fri, 18 Oct 2013 08:16:11 +0000 (16:16 +0800)
committerDan Poltawski <dan@moodle.com>
Fri, 18 Oct 2013 08:16:11 +0000 (16:16 +0800)

Trivial merge