--- a/.hgtags	Fri May 27 14:45:35 2022 +0200
+++ b/.hgtags	Thu Jun 09 12:42:57 2022 +0100
@@ -81,3 +81,4 @@
 76b4e3f12b53fedae96402d87fa9ee79e704ce5e 0.11.11
 783056b4e4480389d0e27883289b1bfef57e4729 0.11.12
 50fcd387948263335ca98dc98de2a3087b543f8b 0.12.0
+252ed01896dd815700593b86834c776d0fef828d 0.12.1