--- a/.hgtags Tue Nov 14 18:35:25 2017 +0100
+++ b/.hgtags Wed Nov 15 00:30:15 2017 +0100
@@ -60,3 +60,4 @@
430ad68292d76b9387d1eeadf289951f51fd88d3 6.7.1
ec0bbf26ce7fadd42c637e01d3750dac96ac0b1b 6.8.0
c56c028f3802202241551e5953bea74ab3a6c434 7.0.0
+c4940c22d76b9c6b3c2117a3b490f3c4fd796972 7.0.1