Git commits in Moodle 3.7.2 by Martin Gauk

commit 96c24a19125b7bca0eb1d9913570a3ca7f0dda38
Author: Martin Gauk <gauk@math.tu-berlin.de>
Date:   Mon, 08 Jul 2019 17:10:11 +0800
Tag:    v3.7.2

MDL-58026 question: fix regrading in progress attempt