changeset 51527:1ecd78e0f56b

Added tag jdk-12+0 for changeset 95aad0c785e4
author jwilhelm
date Thu, 28 Jun 2018 21:11:50 +0200
parents a5557f24b4d4
children d5d8ebbf38e0 38e8658756df 2fe12ced0449 3b7f137c86ee 1361c9377df0 ac5271ab7ffb 88351d85191a ee66bb6a6475 e8d55141afd2
files .hgtags
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Wed Jun 27 21:01:12 2018 -0700
+++ b/.hgtags	Thu Jun 28 21:11:50 2018 +0200
@@ -494,3 +494,5 @@
 fb8b3f4672774e15654958295558a1af1b576919 jdk-11+19
 36ca515343e00b021dcfc902e986d26ec994a2e5 jdk-11+19
 c9cd3ec6a0ebaf373b6ff0071c396cc657f7c4bd jdk-12+0
+c9cd3ec6a0ebaf373b6ff0071c396cc657f7c4bd jdk-12+0
+95aad0c785e497f1bade3955c4e4a677b629fa9d jdk-12+0