From 29b3fc5dc481d7d83bb5faafaa395671b81e85ec Mon Sep 17 00:00:00 2001
From: Jesper Wilhelmsson <jwilhelm@openjdk.org>
Date: Thu, 8 Aug 2019 03:08:49 +0200
Subject: [PATCH] Added tag jdk-13+33 for changeset 5c85b58e2a42

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

diff --git a/.hgtags b/.hgtags
index de677eb8ce9..23ed5762ee1 100644
--- a/.hgtags
+++ b/.hgtags
@@ -570,3 +570,4 @@ b7f68ddec66f996ae3aad03291d129ca9f02482d jdk-13+27
 2e63fb0a885fa908a97bbb0da8d7c3de11536aca jdk-13+30
 6a159c6c23ccd0029140ab91653442e412305ce5 jdk-13+31
 929f37a9c35d530d4e866f6e832001aeb4cfb371 jdk-13+32
+5c85b58e2a42197c2425fb766bf510ccf60d8c06 jdk-13+33