Added tag jdk8u192-b25 for changeset ef391ca70358
diff --git a/langtools/.hgtags b/langtools/.hgtags
index c5420bf..26f45c1 100644
--- a/langtools/.hgtags
+++ b/langtools/.hgtags
@@ -942,3 +942,4 @@
 08be6b057771844a619389a791b12bbaa2600879 jdk8u192-b08
 d00261f4b1f5b8332fc84bfbd0dd4c15f11ce8af jdk8u192-b09
 d1e08933590e00d9c074922dc13eb3fab8ca8a9d jdk8u192-b10
+baf29dda8fdc9ffd971e659ac44dbeb37ab98476 jdk8u192-b25