--- a/.hgtags Tue Dec 12 03:02:25 2017 +0100 +++ b/.hgtags Tue Dec 12 04:15:26 2017 +0100 @@ -61,3 +61,4 @@ ec0bbf26ce7fadd42c637e01d3750dac96ac0b1b 6.8.0 c56c028f3802202241551e5953bea74ab3a6c434 7.0.0 c4940c22d76b9c6b3c2117a3b490f3c4fd796972 7.0.1 +06a3cb59495636df8b567e49a0fd7fd8fd823074 7.1.0