# HG changeset patch
# User katleman
# Date 1399536313 25200
# Node ID 53493e10c31d04e6b9b30f4b1af8ff092d6348b9
# Parent  0d1f816217dce5e72187f167cc1816080cbeb453
Added tag jdk9-b12 for changeset db0b706c8253

diff -r 0d1f816217dc -r 53493e10c31d hotspot/.hgtags
--- a/hotspot/.hgtags	Wed Jul 05 19:39:35 2017 +0200
+++ b/hotspot/.hgtags	Thu May 08 01:05:13 2014 -0700
@@ -414,3 +414,4 @@
 05e8f5242c26ba45d4fa947e4f4f54c058c9b522 jdk9-b09
 ebc44d040cd149d2120d69fe183a3dae7840f4b4 jdk9-b10
 783309c3a1a629a452673399dcfa83ef7eca94d8 jdk9-b11
+1c383bb39e2849ca62cb763f4e182a29b421d60a jdk9-b12