--- a/.hgtags Wed Jul 12 14:05:46 2017 +0200
+++ b/.hgtags Wed Jul 12 14:05:46 2017 +0200
@@ -3,3 +3,4 @@
19019589cc19a2ed4cdbd99f3e728845794f9438 0.1.2
c191cc6756f51581cb4ab172f6ee0fc3bca5a7e4 0.1.3
7dd73b88e345537ff43637e0bcc3d348e0087654 0.1.4
+6206a2ae7053d972b7414260ed0045a281c75945 0.1.5