# HG changeset patch
# User jwilhelm
# Date 1544716875 -3600
# Node ID ece620f32d2d3cc6548000f6b20881b57254a7a6
# Parent  cc4098b3bc10d1c390384289025fea7b0d4b9e93
Added tag jdk-13+0 for changeset cc4098b3bc10

diff -r cc4098b3bc10 -r ece620f32d2d .hgtags
--- a/.hgtags	Thu Dec 13 16:45:26 2018 +0100
+++ b/.hgtags	Thu Dec 13 17:01:15 2018 +0100
@@ -526,3 +526,4 @@
 f8fb0c86f2b3d24294d39c5685a628e1beb14ba7 jdk-12+21
 732bec44c89e8b93a38296bf690f97b7230c5b6d jdk-12+22
 eef755718cb24813031a842bbfc716a6cea18e9a jdk-12+23
+cc4098b3bc10d1c390384289025fea7b0d4b9e93 jdk-13+0