# HG changeset patch
# User jwilhelm
# Date 1573696903 -3600
# Node ID 558da4a0e31b06b9fec92a316b701ba89061a707
# Parent  22ee476cc6645de19a3cbba068ac30ed72bd6cef
Added tag jdk-14+23 for changeset 15936b142f86

diff -r 22ee476cc664 -r 558da4a0e31b .hgtags
--- a/.hgtags	Wed Nov 13 16:36:54 2019 -0800
+++ b/.hgtags	Thu Nov 14 03:01:43 2019 +0100
@@ -595,3 +595,4 @@
 54ffb15c48399dd59922ee22bb592d815307e77c jdk-14+20
 c16ac7a2eba4e73cb4f7ee9294dd647860eebff0 jdk-14+21
 83810b7d12e7ff761ad3dd91f323a22dad96f108 jdk-14+22
+15936b142f86731afa4b1a2c0fe4a01e806c4944 jdk-14+23