# HG changeset patch
# User jwilhelm
# Date 1540430068 25200
# Node ID a8d239bdaaeeaa7106396a052aeaab1f47cb1657
# Parent  e11a53698d5741ffbc57c28e376eb9db717f371b
Added tag jdk-12+17 for changeset eefa65e142af

diff -r e11a53698d57 -r a8d239bdaaee .hgtags
--- a/.hgtags	Mon Sep 17 11:09:43 2018 -0700
+++ b/.hgtags	Wed Oct 24 18:14:28 2018 -0700
@@ -519,3 +519,4 @@
 6f04692c7d5137ee34a6bd94c0c8a6c9219cb127 jdk-12+14
 f8626bcc169813a4b2a15880386b952719d1d6d1 jdk-12+15
 199658d1ef860cdc17055b4fd3e94b057f292fe9 jdk-12+16
+eefa65e142af305923d2adcd596fab9c639723a1 jdk-12+17