Wait until after Petr has done his bit.
This was not done at the time I committed http://git.moodle.org/gw?p=moodle.git;a=commit;h=d4a03c00ea3885ac2b264b7d7a8c6c635d5714d2
Wait until after Petr has done his bit.
This was not done at the time I committed http://git.moodle.org/gw?p=moodle.git;a=commit;h=d4a03c00ea3885ac2b264b7d7a8c6c635d5714d2