--- a/.hgtags Tue Jan 16 04:41:48 2018 +0100
+++ b/.hgtags Sat Jan 20 12:28:53 2018 +0100
@@ -62,3 +62,4 @@
c56c028f3802202241551e5953bea74ab3a6c434 7.0.0
c4940c22d76b9c6b3c2117a3b490f3c4fd796972 7.0.1
06a3cb59495636df8b567e49a0fd7fd8fd823074 7.1.0
+bf6b859807bac23752a26e58876fe3a4a9a2fef8 7.2.0