--- a/.hgtags	Wed Jul 12 14:25:07 2017 +0200
+++ b/.hgtags	Wed Jul 12 14:25:08 2017 +0200
@@ -3,3 +3,4 @@
 25e455568b00e7aecaa8c1517ab6c753c80e1a2c 0.1.2
 be3984675d3f75955e37ff5632906cd7a0c3fa9c 0.1.3
 3e37d4dd8e3bb0a986be88ada10883751a53bade 0.1.4
+f30ee9996da9b6dfa41d35e46bb1b26301648009 0.1.5