--- a/.hgtags Tue Mar 20 17:56:05 2018 +0100
+++ b/.hgtags Tue Mar 20 17:56:05 2018 +0100
@@ -1,3 +1,4 @@
ee195bbaf3ed477aa3a1935e032aa23737eb830f 0.1.0
43182ae836f1b0294c530bcc127ffab12fb07c60 0.1.1
eab3b98972b247911d565b4d38897c0620f0a108 0.1.2
+1a8ae80d426c50d10ed976df7703f2b805a1c4cb 0.1.3