[Wikitty-commits] branch release/3.12 created (now 030ac47)