--- a/.hgtags	Mon Jun 11 15:59:51 2018 +0200
+++ b/.hgtags	Mon Jun 11 15:59:51 2018 +0200
@@ -11,3 +11,4 @@
 63910cffdf2b7e6318e7d1d43e2dad806a4da283 0.1.10
 e53eb3426c6cd1e45e034a86df5b86fe4e9898d7 0.1.11
 fe1785bdc9d78d687136bb8ac33911c288dfbfa6 0.1.12
+17dcac4dc3886a8fe6edc50cb94f47cb1e484f23 0.1.13