[Wikitty-commits] branch release/3.12.1 created (now af75b5c)