From f8f90df4d749eb3eae441b2541ab45260f8a2eb5 Mon Sep 17 00:00:00 2001
From: Phil Race <prr@openjdk.org>
Date: Thu, 19 Jul 2018 09:46:29 -0700
Subject: [PATCH] Added tag jdk-12+3 for changeset 990db216e719

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

diff --git a/.hgtags b/.hgtags
index 4d03b246fcf..6d77418b4b8 100644
--- a/.hgtags
+++ b/.hgtags
@@ -497,3 +497,4 @@ e1b3def126240d5433902f3cb0e91a4c27f6db50 jdk-11+18
 00b16d0457e43d23f6ca5ade6b243edce62750a0 jdk-12+1
 9937ef7499dcd7673714517fd5e450410c14ba4e jdk-11+22
 69b438908512d3dfef5852c6a843a5778333a309 jdk-12+2
+990db216e7199b2ba9989d8fa20b657e0ca7d969 jdk-12+3