# HG changeset patch
# User aoqi
# Date 1532591265 -28800
# Node ID d64a34f10964a0db16e7710d9d903b2dfaccf501
# Parent  79798bbf837546a545ad3526e9c840cdcbc6a790
Added tag mips64el-jdk8u172-b13 for changeset 79798bbf8375

diff -r 79798bbf8375 -r d64a34f10964 .hgtags
--- a/.hgtags	Wed Jul 25 16:40:15 2018 +0800
+++ b/.hgtags	Thu Jul 26 15:47:45 2018 +0800
@@ -1164,3 +1164,4 @@
 aafd1bb21e2636ba982d3eae162f5c635a1df03a jdk8u172-b09
 dcd3ace969fcde4eedaddba629647656289d4264 jdk8u172-b10
 024be04bb151038ea5d57ceb8f1f2d031fc2af99 mips64el-jdk8u172-b12
+79798bbf837546a545ad3526e9c840cdcbc6a790 mips64el-jdk8u172-b13