--- a/.hgtags	Sun Aug 27 15:46:19 2023 +0200
+++ b/.hgtags	Tue Sep 05 19:48:59 2023 +0200
@@ -86,3 +86,4 @@
 be09ac8300a7bde4e81f7cc4e4ee5b0745ab14b7 0.11.14
 3784a8ce05961ddc0f0374f8c12618d9a411546b 0.12.2
 0598d822614f6637a5baaec78570db025c76f722 0.12.3
+a2ba3f06dcf44b713b65355351653826cccea59c 0.12.4