[Commits] 27232a9fa26: edit MariaDB license info so that GitHub recognizes it