Added tag jdk-15+23 for changeset f143729ca00e

JesperIRL · JesperIRL · commit be7771b2b9bf · 2020-05-14T04:25:42.000+02:00
diff --git 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
