# HG changeset patch
# User andrew
# Date 1563394733 -3600
# Node ID 44958f6d06d72b8d18a0d17cc08f6449103afd5d
# Parent  07a737dc86fff0ef2d7f42e2d48d1dc0e7266145# Parent  84332572ca784f488235cdb8c2dfea9fbaaf12de
Merge

diff -r 07a737dc86ff -r 44958f6d06d7 .hgtags
--- a/.hgtags	Wed Jul 17 20:41:50 2019 +0100
+++ b/.hgtags	Wed Jul 17 21:18:53 2019 +0100
@@ -996,3 +996,6 @@
 2fa997404a5c0ef884a6eb86ca3df2fbc3346fc0 jdk8u222-b07
 3a9307bd93d3ed04e7ddf94e46ae6fd349cd8060 jdk8u222-b08
 bd5323b37905fc22dc5cddd32384ad9e46feca6e jdk8u232-b00
+22b905fce1aa80ee5f4dd615f49a8562260c1dbf jdk8u222-b09
+3a4dd1917fc5a3b415b7cdaf1a0394e31b072be5 jdk8u222-b10
+3a4dd1917fc5a3b415b7cdaf1a0394e31b072be5 jdk8u222-ga