--- a/.hgtags Thu Mar 28 14:47:20 2024 +0000
+++ b/.hgtags Fri Mar 29 21:37:06 2024 +0100
@@ -275,3 +275,4 @@
d1d48d18db37106b801ef6cb90955536458e7ffc 6.7rc0
c9ceb4f6025690167bdb245e530de6bac8baae95 6.7
2e6fde2ed01e63f0de6a5966994fbb60b1f87057 6.7.1
+803e61387e86f103483120df35619bdb175e3482 6.7.2