diff -r 5046bae5973f -r 6be49d6f567e .hgtags
--- a/.hgtags	Tue Jun 30 13:55:58 2020 +0200
+++ b/.hgtags	Tue Jun 30 13:55:58 2020 +0200
@@ -12,3 +12,4 @@
 0969adf1a96889be967244aa589fe1370fc340c7 0.1.11
 77c839e343af9dd19f69c7491307d645b919db7c 0.1.12
 533f7e7ce18737bc99101259cab1148465f219c4 0.1.13
+5046bae5973f5844b2cdcc2006e4aef6508d2e71 0.1.14