--- a/.hgtags	Tue Nov 26 10:22:13 2019 +0000
+++ b/.hgtags	Fri Nov 29 10:02:07 2019 +0000
@@ -597,3 +597,4 @@
 83810b7d12e7ff761ad3dd91f323a22dad96f108 jdk-14+22
 15936b142f86731afa4b1a2c0fe4a01e806c4944 jdk-14+23
 438337c846fb071900ddb6922bddf8b3e895a514 jdk-14+24
+17d242844fc9e7d18b3eac97426490a9c246119e jdk-14+25