--- a/.hgtags	Wed Jul 05 17:23:18 2017 +0200
+++ b/.hgtags	Wed Jul 05 17:23:19 2017 +0200
@@ -86,3 +86,4 @@
 e02b4d709e177d08d56130a4bc68061e4bbacc7d jdk7-b109
 a6442d6bc38a44152e0662688213ce4d2701f42a jdk7-b110
 69f3edf083477955b5bd2f754252c7504167d8e1 jdk7-b111
+f960f117f1623629f64203e2b09a92a8f6f14ff5 jdk7-b112