--- a/.hgtags Mon Sep 11 15:11:36 2017 +0200
+++ b/.hgtags Mon Sep 11 15:11:37 2017 +0200
@@ -1,3 +1,4 @@
29361e3c8fdad90fd5ecf26bc74a4100fa87cbc1 0.1.0
a6798d3cd7ead19cb697205b94617c2771cf7718 0.1.1
4d9c23cdfa8203cfee2252b46ed6384002284f97 0.1.2
+ec814fadbd27601da983dac92b35d69a35c1c3bb 0.1.3