diff -r 95026785904d -r 7de4aaf90bff .hgtags --- a/.hgtags Mon Jun 11 16:13:17 2018 +0200 +++ b/.hgtags Mon Jun 11 16:13:17 2018 +0200 @@ -15,3 +15,4 @@ d73905f6a2eb2949b3979671bf261965473bb7b9 0.1.11 5d94baef6923642af27a9f30f377d45f67f04bbf 0.1.12 cf2d19055dd754ce3ed30be24f83dae351b3ae5c 0.1.13 +95026785904d443509d93895ddf761b7967d9d46 0.1.14