# HG changeset patch # User Pierre-Yves David # Date 1516074537 -3600 # Node ID 5432872341c9f5cfe2966b29b4864ba9ef362c9d # Parent bf6b859807bac23752a26e58876fe3a4a9a2fef8 Added tag 7.2.0 for changeset bf6b859807ba diff -r bf6b859807ba -r 5432872341c9 .hgtags --- 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