--- a/.hgtags	Thu Jul 13 10:51:31 2017 +0200
+++ b/.hgtags	Thu Jul 13 11:44:17 2017 +0200
@@ -4,3 +4,5 @@
 c191cc6756f51581cb4ab172f6ee0fc3bca5a7e4 0.1.3
 7dd73b88e345537ff43637e0bcc3d348e0087654 0.1.4
 6206a2ae7053d972b7414260ed0045a281c75945 0.1.5
+6206a2ae7053d972b7414260ed0045a281c75945 0.1.5
+1bdfe52659d7be12d5cdd95868111de3677b5dd7 0.1.5