# HG changeset patch
# User Christian Brabandt <cb@256bit.org>
# Date 1692305105 -7200
# Node ID 2c85a7011b2fc6352d2873834162525f8b7f9ac7
# Parent  22a08166a8762b1951b1b8c5cbfe5e84a1912b25
Added tag v9.0.1725 for changeset 22a08166a8762b1951b1b8c5cbfe5e84a1912b25

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -26906,3 +26906,4 @@ cf6d98955c64493fe8ee4da83946a4e413b6cd4b
 939396a5711c77c04810ba0fbff268fc0afb1ce5 v9.0.1722
 705d0e1329a5d74f41dff5644dee134d362a6f6d v9.0.1723
 b3a42579bb3f877d38cbbd99f5b544ed8c886ec2 v9.0.1724
+22a08166a8762b1951b1b8c5cbfe5e84a1912b25 v9.0.1725