[Wikitty-commits] branch release/3.12 deleted (was ab30c2c)