--- a/.hgtags	Wed May 04 18:00:01 2022 +0200
+++ b/.hgtags	Wed May 04 18:04:06 2022 +0200
@@ -239,3 +239,4 @@
 c00d3ce4e94bb0ee8d809e25e1dcb2a5fab84e2c 6.1rc0
 d4486810a1795fba9521449b8885ced034f3a6dd 6.1
 5bd6bcd31dd1ebb63b8914b00064f96297267af7 6.1.1
+0ddd5e1f5f67438af85d12e4ce6c39021dde9916 6.1.2