From f8388465009cc5d183947b53449cccb995191a93 Mon Sep 17 00:00:00 2001
From: Jesper Wilhelmsson <jwilhelm@openjdk.org>
Date: Thu, 8 Nov 2018 02:47:50 +0100
Subject: [PATCH] Added tag jdk-12+19 for changeset dc1f9dec2018

---
 .hgtags | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.hgtags b/.hgtags
index bf1b5bb1ec4..8c42438e208 100644
--- a/.hgtags
+++ b/.hgtags
@@ -521,3 +521,4 @@ f8626bcc169813a4b2a15880386b952719d1d6d1 jdk-12+15
 199658d1ef860cdc17055b4fd3e94b057f292fe9 jdk-12+16
 eefa65e142af305923d2adcd596fab9c639723a1 jdk-12+17
 e38473506688e0995e701fc7f77d5a91b438ef93 jdk-12+18
+dc1f9dec2018a37fedba47d8a2aedef99faaec64 jdk-12+19