0.7.2

PabloMK7

@mariohackandglitch

611e5709 · Merge branch 'ctrulib_upd' into 'develop' · Feb 15, 2022

Fix devkitarm r57 compatibility.