Added tag jdk8u172-b31 for changeset 112ddcc5f7c0
diff --git a/.hgtags b/.hgtags
index f5718ce..687ed59 100644
--- a/.hgtags
+++ b/.hgtags
@@ -855,3 +855,4 @@
 fc695409c23dca5cb6c0ebe22ee48100fe7aa893 jdk8u172-b09
 7287e0008d111fdd1c259432f4883bb859d84221 jdk8u172-b10
 980c4675006fb42ef630d3020f502635bd8811e3 jdk8u172-b11
+112ddcc5f7c071c89bf23d5ab2a678f29e464ca2 jdk8u172-b31