# HG changeset patch # User jwilhelm # Date 1539816614 -7200 # Node ID c28fb7557d625eb60c0be1d21d2c9933abbca3c6 # Parent d5a96cafdd4a67932964b89a68be703512e4fd44 Added tag jdk-12+16 for changeset 199658d1ef86 diff -r d5a96cafdd4a -r c28fb7557d62 .hgtags --- a/.hgtags Wed Oct 17 22:47:59 2018 +0200 +++ b/.hgtags Thu Oct 18 00:50:14 2018 +0200 @@ -518,3 +518,4 @@ 8897e41b327c0a5601c6ba2bba5d07f15a3ffc91 jdk-12+14 6f04692c7d5137ee34a6bd94c0c8a6c9219cb127 jdk-12+14 f8626bcc169813a4b2a15880386b952719d1d6d1 jdk-12+15 +199658d1ef860cdc17055b4fd3e94b057f292fe9 jdk-12+16