Added tag jdk-13+16 for changeset 9d0ae9508d53
authorjwilhelm
Thu, 11 Apr 2019 01:21:11 +0200
changeset 54496 30aca1e755bf
parent 54495 941db9c0b5b5
child 54497 96230a5ef2ec
Added tag jdk-13+16 for changeset 9d0ae9508d53
.hgtags
--- a/.hgtags	Wed Apr 10 17:31:31 2019 -0400
+++ b/.hgtags	Thu Apr 11 01:21:11 2019 +0200
@@ -553,3 +553,4 @@
 83cace4142c8563b6a921787db02388e1bc48d01 jdk-13+13
 46cf212cdccaf4fb064d913b12004007d3322b67 jdk-13+14
 f855ec13aa2501ae184c8b3e0626a8cec9966116 jdk-13+15
+9d0ae9508d5337b0dc7cc4684be42888c4023755 jdk-13+16