diff -r 17caa5cc3969 -r 60065d9e17b0 .hgtags --- a/.hgtags Mon Apr 01 14:38:31 2019 +0200 +++ b/.hgtags Thu Apr 25 05:12:05 2019 +0100 @@ -1025,3 +1025,6 @@ 203712f71207bc1ed45ef9c3f4c11d367699e2d0 jdk8u222-b00 203712f71207bc1ed45ef9c3f4c11d367699e2d0 jdk8u212-b01 8fa8a4821ec34b99c3dcfd5f6a67fba0813e7bbe jdk8u212-b02 +f470f90fa4f757ea435ad48def6146f6a35bdee3 jdk8u212-b03 +32c18a79003ad846811955f7348ea73061e91c40 jdk8u212-b04 +f470f90fa4f757ea435ad48def6146f6a35bdee3 jdk8u212-ga