# HG changeset patch
# User duke
# Date 1499272571 -7200
# Node ID fe94b40ffd9390f6cffcdf51c0389b0e6dde0c13
# Parent  c2fc8078c9a1f842af4bb957ef6f7520be9c5254# Parent  5b9c408485eda7e3f986cfb4144c0c584effda79
Merge

diff -r c2fc8078c9a1 -r fe94b40ffd93 .hgtags
--- a/.hgtags	Wed Jul 05 18:36:08 2017 +0200
+++ b/.hgtags	Wed Jul 05 18:36:11 2017 +0200
@@ -193,3 +193,4 @@
 adb5171c554e14cd86f618b5584f6e3d693d5889 jdk8-b69
 0d625373c69e2ad6f546fd88ab50c6c9aad01271 jdk8-b70
 a41ada2ed4ef735449531c6ebe6cec593d890a1c jdk8-b71
+6725b3961f987cf40f446d1c11cd324a3bec545f jdk8-b72