# HG changeset patch
# User duke
# Date 1499269799 -7200
# Node ID 31f5c34d78081572ad9a2401c0bb0c6b9711dd65
# Parent  bf2f68430cca8029dd1bfcaa57509084887bf8c1# Parent  116ba3bfa5d958f31532c4014855415e1ad48a69
Merge

diff -r bf2f68430cca -r 31f5c34d7808 .hgtags
--- a/.hgtags	Wed Jul 05 17:49:56 2017 +0200
+++ b/.hgtags	Wed Jul 05 17:49:59 2017 +0200
@@ -124,3 +124,4 @@
 a2a589fc29543ed32919c78a1810ad93a6fcf5bc jdk7-b147
 de9223c94f9c710b3eebb599cd3586f36c8b94a9 jdk8-b01
 1b9d19620eb4606a25b1e28f86d66c8bfa867e06 jdk8-b02
+6815e85bf96d6d3875954f9777660372cd70d065 jdk8-b03