# HG changeset patch
# User duke
# Date 1499270554 -7200
# Node ID 6c805d8ed4e5449ea5e4d158c7bdbd7b0b70efd1
# Parent  e75298a89f78aa92c18305eb2be0b1be604e1f48# Parent  464289dd00e69a552aafda03b293aa160c5d507e
Merge

diff -r e75298a89f78 -r 6c805d8ed4e5 .hgtags
--- a/.hgtags	Wed Jul 05 18:02:31 2017 +0200
+++ b/.hgtags	Wed Jul 05 18:02:34 2017 +0200
@@ -146,3 +146,4 @@
 e8f03541af27e38aafb619b96863e17f65ffe53b jdk8-b22
 498124337041ad53cbaa7eb110f3d7acd6d4eac4 jdk8-b23
 7d3720d8c595d1519c31e9ff7366203fc2c61350 jdk8-b24
+0071a6d64113a35ba345bb1580c256de5ce17d3e jdk8-b25