diff -r b732de3068f4 -r 11033c4ada54 .hgtags
--- a/.hgtags	Wed Dec 19 11:44:57 2018 -0800
+++ b/.hgtags	Wed Dec 19 20:53:30 2018 +0100
@@ -527,3 +527,4 @@
 732bec44c89e8b93a38296bf690f97b7230c5b6d jdk-12+22
 eef755718cb24813031a842bbfc716a6cea18e9a jdk-12+23
 cc4098b3bc10d1c390384289025fea7b0d4b9e93 jdk-13+0
+7d4397b43fa305806160785a4c7210600d59581a jdk-12+24