diff -r cffd13804aa8 -r 93f8b735357a .hgtags
--- a/.hgtags	Mon Jun 11 16:14:41 2018 +0200
+++ b/.hgtags	Tue Jun 12 10:57:46 2018 +0200
@@ -16,3 +16,5 @@
 5d94baef6923642af27a9f30f377d45f67f04bbf 0.1.12
 cf2d19055dd754ce3ed30be24f83dae351b3ae5c 0.1.13
 95026785904d443509d93895ddf761b7967d9d46 0.1.14
+95026785904d443509d93895ddf761b7967d9d46 0.1.14
+1978e4dad1d8f950411807ed2df23fd030a39b60 0.1.14