--- a/.hgtags	Tue Oct 10 16:28:50 2017 +0200
+++ b/.hgtags	Tue Oct 10 21:12:14 2017 +0200
@@ -57,3 +57,4 @@
 734c0bc066cdc0121a20a9cb44c8cc30c653be94 6.5.0
 cc3e09e033a3c632c9ac35badbf8b5d53f584049 6.6.0
 3a4f75c6619c7ef7d78ee0912efd6cb01d55b521 6.7.0
+430ad68292d76b9387d1eeadf289951f51fd88d3 6.7.1