Thu, 13 Jul 2023 13:56:22 +0200
Created global tag <release-10.1.5>.
.hgtags | file | annotate | diff | comparison | revisions |
diff -r 7bfac64d06ff -r ce893990553b .hgtags --- a/.hgtags Thu Jul 13 13:56:11 2023 +0200 +++ b/.hgtags Thu Jul 13 13:56:22 2023 +0200 @@ -6,3 +6,4 @@ 2ceb629eedcd4ab677661d125a1d32c24fca12ef release-10.1.2 0b1a1c6a2c382de14b998f2ec579228bf9573532 release-10.1.3 1c2e9667fac7e45e02a7c832f99ccb6892f3aa7c release-10.1.4 +7bfac64d06ff7df7ca360f1b6f11a44cbe115b88 release-10.1.5