From 00638c5fdc3bb792be7e1e8e12b12290ccddcb46 Mon Sep 17 00:00:00 2001
From: "J. Duke" <duke@openjdk.org>
Date: Wed, 5 Jul 2017 21:31:38 +0200
Subject: [PATCH] Added tag jdk-9+113 for changeset 6072af7a98be

---
 .hgtags | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.hgtags b/.hgtags
index f6400ee7a20..21ee327289c 100644
--- a/.hgtags
+++ b/.hgtags
@@ -355,3 +355,4 @@ c870cb782aca71093d2584376f27f0cfbfec0e3a jdk-9+109
 4a95f4b1bd8bfce85dc02a593896749feab96c34 jdk-9+110
 a6614ff7bf09da74be1d0ef3d9755090d244697a jdk-9+111
 7359994942f8d8e723b584d66a3a92c2e9e95e5c jdk-9+112
+6072af7a98be3922f26bdce71b53bb3646cb2ac9 jdk-9+113