[Wikitty-commits] branch release/3.12.1 deleted (was 28a812f)