--- a/.hgtags	Fri Jul 20 14:52:42 2018 +0200
+++ b/.hgtags	Fri Jul 20 14:52:43 2018 +0200
@@ -18,3 +18,4 @@
 0b5f84d9eff4d94ae88078b157148fbda6aa7a58 0.1.15
 7c71a08ff11106dfca8543d498b5fd915ce227a7 0.1.16
 d82c0fe2a2c93d8a54d8850e8f92ae325d270d24 0.1.17
+04c7803a8e64fe26f20ddab16ac3414ba7b9dab2 0.1.17.1