diff -r afa42cf8d060 -r bfff0a0ccb0e .hgtags
--- a/.hgtags	Mon Mar 23 10:15:53 2015 +0100
+++ b/.hgtags	Thu Jul 25 16:23:36 2019 +0100
@@ -1274,3 +1274,4 @@
 55f693ba975d445d83a59cc32367ec4c2452b0c5 jdk8u222-b09
 adfdce09acc32a691145a67792d47ab637159776 jdk8u222-b10
 adfdce09acc32a691145a67792d47ab637159776 jdk8u222-ga
+afa42cf8d060a12fe2fd24210cac6c46252fcd53 jdk8u232-b01