--- a/.hgtags Sat Jan 20 12:28:32 2018 +0100
+++ b/.hgtags Sat Jan 20 12:53:25 2018 +0100
@@ -63,3 +63,4 @@
c4940c22d76b9c6b3c2117a3b490f3c4fd796972 7.0.1
06a3cb59495636df8b567e49a0fd7fd8fd823074 7.1.0
bf6b859807bac23752a26e58876fe3a4a9a2fef8 7.2.0
+6c772398eb4e209914e1074cdac4f3ebf714e437 7.2.1