--- a/.hgtags	Tue Jun 06 18:12:04 2017 +0200
+++ b/.hgtags	Tue Jun 06 18:12:11 2017 +0200
@@ -1,3 +1,4 @@
 bbc24a6bd6f06ead1eeec120ee2c4d50d2400b13 0.1.0
 7d61342c7a59d0f84a88ca5b0a92cc658c7bc69a 0.1.1
 7ca62a7a465b90875a9920c509ca907b744774e2 0.1.2
+e431d2f1671fcbd5e2e6afd385177b7b7b8869b1 0.1.3