Tue, 20 Dec 2022 14:51:12 +0100
Removed global tag <release-10.1.2>.
.hgtags | file | annotate | diff | comparison | revisions |
--- a/.hgtags Tue Dec 20 14:48:20 2022 +0100 +++ b/.hgtags Tue Dec 20 14:51:12 2022 +0100 @@ -8,3 +8,5 @@ b4be3fe52d8051ec2cd2b3514528352e65eb9eed release-10.1.0 40f44cfcb66117a59332040df20fa3cc7a92bbbb release-10.1.1 c2156196748a79e4e91b09bdb892b927727e5c55 release-10.1.2 +c2156196748a79e4e91b09bdb892b927727e5c55 release-10.1.2 +0000000000000000000000000000000000000000 release-10.1.2