Added tag jdk-12+25 for changeset 7496df94b3b7
authorjwilhelm
Thu, 20 Dec 2018 02:54:16 +0100
changeset 53083 4359668ab678
parent 53082 4c539cb11633
child 53084 293cec2f7670
Added tag jdk-12+25 for changeset 7496df94b3b7
.hgtags
--- a/.hgtags	Wed Dec 19 18:21:38 2018 +0000
+++ b/.hgtags	Thu Dec 20 02:54:16 2018 +0100
@@ -527,3 +527,4 @@
 732bec44c89e8b93a38296bf690f97b7230c5b6d jdk-12+22
 eef755718cb24813031a842bbfc716a6cea18e9a jdk-12+23
 7d4397b43fa305806160785a4c7210600d59581a jdk-12+24
+7496df94b3b79f3da53925d2d137317715f11d97 jdk-12+25