Developer credits
Git merges in Moodle 3.5.13 by Sara Arjona
commit 9691a7b3316d21b54b07b6952ea18374936351de Author: Sara Arjona <sara@moodle.com> Date: Thu, 18 Jun 2020 20:13:44 +0800 Tag: v3.5.13 Merge branch 'install_35_STABLE' of https://git.in.moodle.com/amosbot/moodle-install into MOODLE_35_STABLE
commit 2d553d9a1182eb14ec556c56c1103953aa539ed5 Author: Sara Arjona <sara@moodle.com> Date: Fri, 29 May 2020 18:52:33 +0800 Tag: v3.5.13 Merge branch 'install_35_STABLE' of https://git.in.moodle.com/amosbot/moodle-install into MOODLE_35_STABLE
commit 492e9c9d5474413346042b2e55a3b434e6725fd1 Author: Sara Arjona <sara@moodle.com> Date: Tue, 19 May 2020 23:54:34 +0800 Tag: v3.5.13 Merge branch 'install_35_STABLE' of https://git.in.moodle.com/amosbot/moodle-install into MOODLE_35_STABLE
commit c2707068a0ba550ad7a60021e799edd6589e1851 Author: Sara Arjona <sara@moodle.com> Date: Tue, 19 May 2020 02:23:18 +0800 Tag: v3.5.13 Merge branch 'MDL-68728-35-2' of git://github.com/andrewnicols/moodle into MOODLE_35_STABLE