Developer credits
Git merges in Moodle 3.5.13 by Eloy Lafuente (stronk7)
commit e5da0910615a309eb2f2c393c9d910775f9302da Author: Eloy Lafuente (stronk7) <stronk7@moodle.org> Date: Sat, 11 Jul 2020 02:21:49 +0800 Tag: v3.5.13 Merge branch 'install_35_STABLE' of https://git.in.moodle.com/amosbot/moodle-install into MOODLE_35_STABLE
commit 71433c086bdfc7101ea77fb3282749ae0751fa31 Author: Eloy Lafuente (stronk7) <stronk7@moodle.org> Date: Thu, 09 Jul 2020 02:53:51 +0800 Tag: v3.5.13 Merge branch 'MDL-69134-35' of git://github.com/andrewnicols/moodle into MOODLE_35_STABLE
commit c847b6d7258ef787ea0250285f0b96987e0563e8 Author: Eloy Lafuente (stronk7) <stronk7@moodle.org> Date: Sat, 04 Jul 2020 00:41:06 +0800 Tag: v3.5.13 Merge branch 'install_35_STABLE' of https://git.in.moodle.com/amosbot/moodle-install into MOODLE_35_STABLE
commit 1ac49204f8f26c66fbfe1ed9ff2767677130e66e Author: Eloy Lafuente (stronk7) <stronk7@moodle.org> Date: Thu, 02 Jul 2020 05:24:52 +0800 Tag: v3.5.13 Merge branch 'MDL-69072-35' of git://github.com/andrewnicols/moodle into MOODLE_35_STABLE
commit 8c82cc367c68f9f1ed16d3150c268288f274e1d8 Author: Eloy Lafuente (stronk7) <stronk7@moodle.org> Date: Fri, 26 Jun 2020 00:06:04 +0800 Tag: v3.5.13 Merge branch 'install_35_STABLE' of https://git.in.moodle.com/amosbot/moodle-install into MOODLE_35_STABLE