# HG changeset patch
# User jwilhelm
# Date 1541641670 -3600
# Node ID 5b82f10dc82306d72c5b3a2fdc6b8765daa60667
# Parent  bec2391579f89ddff827d6eac6b04ebad7b8ef0d
Added tag jdk-12+19 for changeset dc1f9dec2018

diff -r bec2391579f8 -r 5b82f10dc823 .hgtags
--- a/.hgtags	Wed Nov 07 15:57:50 2018 -0800
+++ b/.hgtags	Thu Nov 08 02:47:50 2018 +0100
@@ -521,3 +521,4 @@
 199658d1ef860cdc17055b4fd3e94b057f292fe9 jdk-12+16
 eefa65e142af305923d2adcd596fab9c639723a1 jdk-12+17
 e38473506688e0995e701fc7f77d5a91b438ef93 jdk-12+18
+dc1f9dec2018a37fedba47d8a2aedef99faaec64 jdk-12+19