release-1.13.5 tag

diff --git a/.hgtags b/.hgtags
index a6c38a423da07851d90e448258c2789b92a9adfc..34afa6e804800bf12567c8a5a51a59e9e16ca9cd 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -417,3 +417,4 @@ d8b321a876d6254e9e98795e3b194ef053290354 release-1.11.11
 5be2b25bdc65775a85f18f68a4be4f58c7384415 release-1.13.2
 8457ce87640f9bfe6221c4ac4466ced20e03bebe release-1.13.3
 bbc642c813c829963ce8197c0ca237ab7601f3d4 release-1.13.4
+0d45b4cf7c2e4e626a5a16e1fe604402ace1cea5 release-1.13.5