diff -r 76a03dc88712 -r 0abe0670c59d .hgtags
--- a/.hgtags	Wed May 22 15:11:33 2019 +0200
+++ b/.hgtags	Wed May 22 15:11:33 2019 +0200
@@ -39,3 +39,4 @@
 d960e3f90a5e6f44623fed485e55a41abc4fdbe8 0.1.30.1
 71606c1dff736bf6b226d29ab025ad663356b3bb 0.1.30.2
 53bc85384db2485d71d203d0b754756af2775e47 0.1.30.3
+76a03dc887120c68c793e7ba235608c8cbd2e5c7 0.1.31