1 files changed, 1 insertions, 0 deletions
diff --git a/.hgtags b/.hgtags
index de85203089..091e54ebf1 100755
--- a/.hgtags
+++ b/.hgtags
@@ -534,3 +534,4 @@ abcab37e1b29414ab8c03af9ca2ab489d809788a 5.0.7-release
 ad0e15543836d64d6399d28b32852510435e344a 5.1.0-release
 26d9e9bb166a9a417f35b1863223a597af8185fd 5.1.1-release
 2eb917875efdfe920680b9049302d0f03721245d 5.1.2-release
+7c00e5b6cb3d95712e9d8e29277c805bca2bda90 5.1.3-release