--- a/.hgtags	Tue Jan 16 03:35:24 2018 +0100
+++ b/.hgtags	Tue Jan 16 04:48:57 2018 +0100
@@ -62,3 +62,4 @@
 c56c028f3802202241551e5953bea74ab3a6c434 7.0.0
 c4940c22d76b9c6b3c2117a3b490f3c4fd796972 7.0.1
 06a3cb59495636df8b567e49a0fd7fd8fd823074 7.1.0
+bf6b859807bac23752a26e58876fe3a4a9a2fef8 7.2.0