--- a/.hgtags Fri Nov 16 15:14:12 2018 +0100
+++ b/.hgtags Fri Nov 16 15:14:12 2018 +0100
@@ -1,3 +1,4 @@
1cc388b5cf690bda84016ddd555226a06c646f9b 0.1.0
e78763bdfb3f525b53e1596998a8cd1bd6cc0cb6 0.1.1
66256b7cfc0279a14a96bbb995820069d9883e01 0.1.2
+303598d5bca77cd9ac628b8eeecedd4d5a8597ee 0.1.3