--- a/.hgtags-top-repo Mon Nov 14 18:18:22 2011 -0800
+++ b/.hgtags-top-repo Wed Jul 05 17:55:18 2017 +0200
@@ -134,3 +134,4 @@
a6c4c248e8fa350c35014fa94bab5ac1a1ac3299 jdk8-b10
1defbc57940a56f0aa41e9dee87b71e8c8b71103 jdk8-b11
8e2104d565baee473895d5eba20e39f85ab4bf9f jdk8-b12
+26fb81a1e9ceb9baffba216acd9ded62e9e9d5ab jdk8-b13
--- a/hotspot/.hgtags Mon Nov 14 18:18:22 2011 -0800
+++ b/hotspot/.hgtags Wed Jul 05 17:55:18 2017 +0200
@@ -197,3 +197,4 @@
6534482ff68ad79066dfe15dfb6d8905f09681bd hs23-b04
1d3900713a67a0a39faf4e12c9c158d55aebef87 jdk8-b12
3e609627e780736f372eb14d29bb9b5e53b21fbf hs23-b05
+b92ca8e229d29004f840c67e620833d23a346761 jdk8-b13