--- a/.hgtags	Sun May 31 22:39:34 2020 +0200
+++ b/.hgtags	Thu Oct 01 15:08:58 2020 +0100
@@ -73,3 +73,5 @@
 10d6d0d91f4ec47a6eb446792fee1d4b79a914d7 0.11.4
 dbd60f47316492bc367802914dc8fa47f4b3edac 0.11.5
 bacca65ce107b8549ce5f9079e81e5771eed2021 0.11.6
+0000000000000000000000000000000000000000 0.11.7
+ece430d4980997b216c2240015bf922bdeb12dd6 0.11.7