--- a/.hgtags Mon Jun 11 17:40:01 2018 +0200
+++ b/.hgtags Mon Jun 11 17:40:01 2018 +0200
@@ -3,3 +3,4 @@
eab3b98972b247911d565b4d38897c0620f0a108 0.1.2
1a8ae80d426c50d10ed976df7703f2b805a1c4cb 0.1.3
10d9fbc9908f3bcfdd1cb28cfec3d20175a0feb3 0.1.4
+b2c3949bb5b8c7bcdf77a6d417cb1e84771db830 0.1.5