Developer credits
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