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