diff -r 5db76f35efce -r 8f74cf219be3 .hgtags --- 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