--- a/.hgtags	Wed Jun 05 21:50:29 2019 -0400
+++ b/.hgtags	Thu Jun 06 04:04:03 2019 +0200
@@ -561,3 +561,4 @@
 f2f11d7f7f4e7128f8aba6ffa576cfa76fbf7d1a jdk-13+21
 181986c5476468bc2dd4532af49599003ee8af37 jdk-13+22
 b034d2dee5fc93d42a81b65e58ce3f91e42586ff jdk-13+23
+7e2238451585029680f126ccbb46d01f2ff5607f jdk-13+24