From 3a509a38decdd9f4d6f4d5f878602e65e3da436f Mon Sep 17 00:00:00 2001
From: Jesper Wilhelmsson <jwilhelm@openjdk.org>
Date: Thu, 7 Feb 2019 02:53:27 +0100
Subject: [PATCH] Added tag jdk-12+31 for changeset b5f7bb57de2f

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

diff --git a/.hgtags b/.hgtags
index 0b32ba30f54..0a2ba5b9f1a 100644
--- a/.hgtags
+++ b/.hgtags
@@ -533,3 +533,4 @@ f15d443f97318e9b40e6f451e327ff69ed4ec361 jdk-12+27
 659b004b6a1bd8c31e766cbdf328d8f8473fd4d7 jdk-12+28
 44f41693631f9b5ac78ff4d2bfabd6734fe46df2 jdk-12+29
 6c377af36a5c4203f16aed8a5e4c2ecc08fcd8bd jdk-12+30
+b5f7bb57de2f797be34f6c75d45c3245ad37ab97 jdk-12+31