# HG changeset patch
# User aoqi
# Date 1532591264 -28800
# Node ID c8cae1073ca0487696a89f78efb2a075a57b9947
# Parent  5c00d04f3a133b97962d0ad152d61bc1a5149547
Added tag mips64el-jdk8u172-b13 for changeset 5c00d04f3a13

diff -r 5c00d04f3a13 -r c8cae1073ca0 .hgtags
--- a/.hgtags	Wed May 30 13:15:53 2018 +0800
+++ b/.hgtags	Thu Jul 26 15:47:44 2018 +0800
@@ -898,3 +898,4 @@
 e9aaa28b626de73ffcef047992a1658f11262984 jdk8u172-b09
 f39115b612ab6641f4d1f0bea5b70eed8bd34b19 jdk8u172-b10
 c30c82c9fb500fece67cdb4f6e85e9b0ead0caa9 mips64el-jdk8u172-b12
+5c00d04f3a133b97962d0ad152d61bc1a5149547 mips64el-jdk8u172-b13