# HG changeset patch
# User alitvinov
# Date 1531243615 -3600
# Node ID ce3b35fca864a0249a5a85a25c331d1230253f3b
# Parent  d436c304912683c0428ab120d8d7dad00f8fd09d# Parent  b03c31cbfc117d1ea7340812af79f2c917d23e2b
Merge

diff -r d436c3049126 -r ce3b35fca864 .hgtags
--- a/.hgtags	Thu Jul 05 00:59:31 2018 -0700
+++ b/.hgtags	Tue Jul 10 18:26:55 2018 +0100
@@ -954,4 +954,5 @@
 e6aa16bb85d17abb0b7750589995efae54a9a162 jdk8u181-b10
 528a472b73184dd5ab6769dbd19177e2dea74e96 jdk8u181-b11
 1fac8d007debb6d610ad70930a6b1b5a2a116957 jdk8u181-b12
+a4d1d2b0da63d6d17579fa4cd9ef45850345d59c jdk8u181-b13
 513805c9270bd834cfe659ae2b9b737579779578 jdk8u191-b01