changeset 57534:7c2236ea739e

Added tag jdk-15+3 for changeset d05fcdf25717
author jwilhelm
date Fri, 27 Dec 2019 18:21:13 +0100
parents bb0a7975b31d
children a30758601ffb
files .hgtags
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags	Tue Dec 24 09:38:41 2019 +0000
+++ b/.hgtags	Fri Dec 27 18:21:13 2019 +0100
@@ -604,3 +604,4 @@
 63e17cf29bed191ea21020b4648c9cdf893f80f5 jdk-15+1
 2069b4bfd23b56b6fc659fba8b75aaaa23debbe0 jdk-14+28
 f33197adda9ad82fdef46ac0f7dc0126204f35b2 jdk-15+2
+d05fcdf25717d85e80a3a39a6b719458b22be5fe jdk-15+3