# HG changeset patch
# User amurillo
# Date 1467324608 0
# Node ID e24d836f371d78dcc493a33c7531fc4f3d968060
# Parent  3aa52182b3ad7c5b3a61cf05a59dd07e4c5884e5
Added tag jdk-9+125 for changeset 70cd0a0846bf

diff -r 3aa52182b3ad -r e24d836f371d hotspot/.hgtags
--- a/hotspot/.hgtags	Wed Jul 05 21:53:18 2017 +0200
+++ b/hotspot/.hgtags	Thu Jun 30 22:10:08 2016 +0000
@@ -527,3 +527,4 @@
 af6b4ad908e732d23021f12e8322b204433d5cf6 jdk-9+122
 75f81e1fecfb444f34f357295fe06af60e2762d9 jdk-9+123
 479631362b4930be985245ea063d87d821a472eb jdk-9+124
+bb640b49741af3f57f9994129934c46fc173219f jdk-9+125