--- a/.hgtags	Fri Jun 29 15:12:44 2018 +0200
+++ b/.hgtags	Fri Jun 29 15:12:51 2018 +0200
@@ -40,3 +40,4 @@
 280b9e2289d61b2269508d4481aa2d82dc353b36 0.1.28
 312f69d8ea37996e6bae4c5a8bb7743afe19793f 0.1.29
 dd2e258340e88064cd3d23dfc6a1d3ce2ff79494 0.1.30
+8cb9dab8bcda9f6ea5ead0778e8b0e6cccf2aba7 0.1.31