Git commits in Moodle 3.9.13 by Michael Hawkins

commit 5f1b314b503ea75864749c2ee9bc2f9700ee9bfd
Author: Michael Hawkins <michaelh@moodle.com>
Date:   Tue, 08 Mar 2022 12:11:23 +0800
Tag:    v3.9.13

MDL-74074 badges: Ensure profile criteria exists before completion check