--- a/.hgtags	Wed Oct 19 22:09:02 2016 +0200
+++ b/.hgtags	Wed Oct 19 22:09:35 2016 +0200
@@ -55,6 +55,3 @@
 7e3b3663bb34ce8b5640f7e934f451cb042b6dd7 v0.7.3
 43079a99351e507032471644f5debf4dfdc9ffad v0.7.5
 1169cb2d55574742cddc077a55b04d4b67fd8661 v0.7.6
-3916245a60b589f6197cf69b33f27fca76c02b27 list
-3916245a60b589f6197cf69b33f27fca76c02b27 list
-0000000000000000000000000000000000000000 list