# HG changeset patch
# User alitvinov
# Date 1531245583 -3600
# Node ID d25514e95cfb9ad9d2afbc17c2eb6f5a4b162cd4
# Parent  fa69e416f5233acc5be4f3367fca48cac4b3634a# Parent  b06cc49137a068298f492de128082996976e1f4b
Merge

diff -r fa69e416f523 -r d25514e95cfb .hgtags
--- a/.hgtags	Thu Jul 05 01:00:01 2018 -0700
+++ b/.hgtags	Tue Jul 10 18:59:43 2018 +0100
@@ -912,4 +912,5 @@
 cc55da2f27700b75f83b0501660cff4e63ad27d9 jdk8u181-b10
 1ce36a1fca8d437720b014c0123ce87ff89131ab jdk8u181-b11
 0e8e98ee9f488e885295d4a4fa2f38ab2e123c77 jdk8u181-b12
+2a12eb329cb9457033a16fe8ebc14a9c5b16e83d jdk8u181-b13
 bc04ed57bd9748b241599af98c7b9fb878cbcaf9 jdk8u191-b01