From be7771b2b9bf1bb5f8ea205a9ec66958e1cf0f51 Mon Sep 17 00:00:00 2001
From: Jesper Wilhelmsson <jwilhelm@openjdk.org>
Date: Thu, 14 May 2020 04:25:42 +0200
Subject: [PATCH] Added tag jdk-15+23 for changeset f143729ca00e

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

diff --git a/.hgtags b/.hgtags
index aef3a9b21aa..3631a8c5dad 100644
--- a/.hgtags
+++ b/.hgtags
@@ -633,3 +633,4 @@ dd5198db2e5b1ebcafe065d987c03ba9fcb50fc3 jdk-15+17
 46bca5e5e6fb26efd07245d26fe96a9c3260f51e jdk-15+20
 12b55fad80f30d24b1f8fdb3b947ea6465ef9518 jdk-15+21
 7223c6d610343fd8323af9d07d501e01fa1a7696 jdk-15+22
+f143729ca00ec14a98ea5c7f73acba88da97746e jdk-15+23