# HG changeset patch
# User mikael
# Date 1564012457 25200
# Node ID 05d34f6a60a5585c872f87d8a80eb1f414c9827e
# Parent  6a159c6c23ccd0029140ab91653442e412305ce5
Added tag jdk-13+31 for changeset 6a159c6c23cc

diff -r 6a159c6c23cc -r 05d34f6a60a5 .hgtags
--- a/.hgtags	Wed Jul 24 10:50:40 2019 +0300
+++ b/.hgtags	Wed Jul 24 16:54:17 2019 -0700
@@ -568,3 +568,4 @@
 1e95931e7d8fa7e3899340a9c7cb28dbea50c10c jdk-13+28
 3081f39a3d30d63b112098386ac2bb027c2b7223 jdk-13+29
 2e63fb0a885fa908a97bbb0da8d7c3de11536aca jdk-13+30
+6a159c6c23ccd0029140ab91653442e412305ce5 jdk-13+31