diff -r 5ff6d6bb688c -r 72a800baa534 .hgtags --- a/.hgtags Wed Jul 03 20:41:21 2019 +0800 +++ b/.hgtags Thu Jul 04 18:11:23 2019 +0800 @@ -1042,3 +1042,4 @@ 2a7ec282f0ce1523347a9c9e08189139bfc097db jdk8u212-b00 e41d4e43109e239cd13219b53798fdad651f63ef jdk8u212-b01 5d11a79b0bf5560625ec67efd40e9167a594b00d jdk8u212-b02 +5ff6d6bb688cc37a418e4c34e3e734458a43e8c5 mips64el-jdk8u212-b04