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