From 6af8fe9cc44dbef43af4db5ea09d54ebd4aadbc5 Mon Sep 17 00:00:00 2001
From: Maxim Dounin <mdounin@mdounin.ru>
Date: Tue, 13 Jun 2023 18:08:10 +0300
Subject: [PATCH] release-1.25.1 tag

---
 .hgtags | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.hgtags b/.hgtags
index 4655010fe..cfa3b321e 100644
--- a/.hgtags
+++ b/.hgtags
@@ -473,3 +473,4 @@ aa901551a7ebad1e8b0f8c11cb44e3424ba29707 release-1.23.2
 ff3afd1ce6a6b65057741df442adfaa71a0e2588 release-1.23.3
 ac779115ed6ee4f3039e9aea414a54e560450ee2 release-1.23.4
 12dcf92b0c2c68552398f19644ce3104459807d7 release-1.25.0
+f8134640e8615448205785cf00b0bc810489b495 release-1.25.1