# HG changeset patch
# User duke
# Date 1499289405 -7200
# Node ID 00822da25d1c105af9da75c6fbab2c79d85695ca
# Parent  8cd68ff84928727eb845b9acf60364bc08b35aff# Parent  83a621ee03fa318405ad63aeae1478ddfd4d3430
Merge

diff -r 8cd68ff84928 -r 00822da25d1c .hgtags
--- a/.hgtags	Wed Jul 05 23:16:37 2017 +0200
+++ b/.hgtags	Wed Jul 05 23:16:45 2017 +0200
@@ -413,3 +413,4 @@
 4a79ad46e578112fce68f1af9dd931025cc235cb jdk-10+2
 d1cab6c7e608479be4ebfad48a25b0ed48600f62 jdk-10+3
 02253db2ace1422f576f58502fc7831ead77424b jdk-10+4
+f113ce12fe24fbd24acf02711372d9f1e1c12426 jdk-10+5