--- 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