diff -r 44958f6d06d7 -r dc445b545ab7 .hgtags
--- a/.hgtags	Wed Jul 17 21:18:53 2019 +0100
+++ b/.hgtags	Thu Jul 25 16:23:32 2019 +0100
@@ -999,3 +999,4 @@
 22b905fce1aa80ee5f4dd615f49a8562260c1dbf jdk8u222-b09
 3a4dd1917fc5a3b415b7cdaf1a0394e31b072be5 jdk8u222-b10
 3a4dd1917fc5a3b415b7cdaf1a0394e31b072be5 jdk8u222-ga
+44958f6d06d72b8d18a0d17cc08f6449103afd5d jdk8u232-b01