# HG changeset patch
# User aefimov
# Date 1538333391 -3600
# Node ID 4134dd880b2d2975e42b5491a59c70e92e30d739
# Parent  52f4866ebbe4f35df4dcef7d438461fcc338b912# Parent  0299e5e837b8aa7b5a65b306eaadc7095df38211
Merge

diff -r 52f4866ebbe4 -r 4134dd880b2d .hgtags
--- a/.hgtags	Thu Sep 27 05:48:35 2018 -0700
+++ b/.hgtags	Sun Sep 30 19:49:51 2018 +0100
@@ -923,6 +923,7 @@
 a45582ee03c59bda9b305b24d104052e1ca9f5a9 jdk8u191-b08
 2fbd39f7ce39fe7001474fda85edf490e09a66ec jdk8u191-b09
 9f2a9efa1739dca8e522ba03ad309318b2d66daf jdk8u191-b10
+f1c4301a31a34fbed4c9ce115313340dfdd921be jdk8u191-b25
 8ff1173372e327cc0e82091052d048260f021515 jdk8u182-b00
 4cf1454fc10c841f6e4b4d3b5fa8cd6f6b9510cc jdk8u192-b00
 6ac8c8bf6b7860ec93ccc3080fdd6b80d2f6cccb jdk8u192-b01