--- a/.hgtags	Fri Jul 20 12:45:59 2018 +0200
+++ b/.hgtags	Fri Jul 20 12:45:59 2018 +0200
@@ -16,3 +16,4 @@
 0c7bead9f062af03bea959e1e0dc363a829c527f 0.1.15
 62ff814702f687e0d916feef036d5ab287e9627b 0.1.16
 dc5015906061c47d344238b6a642f5a329c0f62b 0.1.16.1
+0d209477b6c4fd11661405abafa8da5952b44506 0.1.17