diff -r ee6bdabb1928 -r 27982a723a56 .hgtags
--- a/.hgtags	Wed May 30 13:15:54 2018 +0800
+++ b/.hgtags	Thu Jul 26 15:47:45 2018 +0800
@@ -897,3 +897,4 @@
 1353afc92267dd05157f752d698fba528924e1a2 jdk8u172-b09
 3087d3a4983a9f280e6b29582486e81f020973f2 jdk8u172-b10
 b6f886776e13f9bd040d1f03c1f6c7cc33410b02 mips64el-jdk8u172-b12
+ee6bdabb1928dec185ded8d228647ee9df6c69bc mips64el-jdk8u172-b13