diff -r bca1726b1d85 -r 770dfea6fbef .hgtags
--- a/.hgtags	Mon Jul 20 14:06:34 2020 +0200
+++ b/.hgtags	Mon Jul 20 14:06:34 2020 +0200
@@ -51,3 +51,4 @@
 fdfc4ac82db7862dfccf2058bc56a5c60658bd3e 0.1.38
 1ee4e482bfe7f4d2e820c538f68f2cb82b7e0551 0.1.39
 5184d89c6bd3b2313a5d118d4ede7f359fef63c7 0.1.39.1
+bca1726b1d85ba55e2da22874a5fce2e431bc9de 0.1.40