--- a/.hgtags	Tue May 03 21:44:30 2022 -0400
+++ b/.hgtags	Thu Jun 02 16:19:31 2022 +0200
@@ -240,3 +240,4 @@
 d4486810a1795fba9521449b8885ced034f3a6dd 6.1
 5bd6bcd31dd1ebb63b8914b00064f96297267af7 6.1.1
 0ddd5e1f5f67438af85d12e4ce6c39021dde9916 6.1.2
+6b10151b962108f65bfa12b3918b1021ca334f73 6.1.3