--- a/.hgtags Thu Jun 08 11:03:12 2017 +0200
+++ b/.hgtags Thu Jun 08 11:03:23 2017 +0200
@@ -3,3 +3,4 @@
1e65ba8b2bcf56f3b1b84a7f66f9635729f69488 0.1.2
de6720c4cf70399e2450adf6cd134ca378e5c829 0.1.3
bbe52bba4db91692aa8106e0d5379589eadf1cd4 0.1.4
+a9ef7fc88d492a67586898aee0f7742deb983ef0 0.1.5