--- a/.hgtags Wed Jul 18 18:18:27 2018 +0200
+++ b/.hgtags Wed Jul 18 18:18:50 2018 +0200
@@ -2,3 +2,4 @@
279cf4baffeb3e8022f5de5ab31a77310ce7ffe2 0.1.1
37c39e71b944bb593ea1cabcc885d86f99ebd792 0.2
ed6040bbecc6dc1fc32007d8c336cea9374ce318 0.3
+0a3945cad5ce4b3f55e1392602cad9d1d0b61d81 0.3.1