# HG changeset patch
# User jwilhelm
# Date 1557364316 -7200
# Node ID 6fbbf466fc6d66db515e7724fee48ae78db8a51c
# Parent  271ee240244cd54e1acb982edc7fbe078dbe0e6c
Added tag jdk-13+20 for changeset 6ccc7cd7931e

diff -r 271ee240244c -r 6fbbf466fc6d .hgtags
--- a/.hgtags	Thu May 09 08:49:31 2019 +0800
+++ b/.hgtags	Thu May 09 03:11:56 2019 +0200
@@ -557,3 +557,4 @@
 93b702d2a0cb9e32160208f6700aede1f8492773 jdk-13+17
 bebb82ef3434a25f8142edafec20165f07ac562d jdk-13+18
 a43d6467317d8f1e160f67aadec37919c9d64443 jdk-13+19
+6ccc7cd7931e34129f6b7e04988fc9a63958dde0 jdk-13+20