# HG changeset patch
# User amurillo
# Date 1399615631 25200
# Node ID 28bbbecff5f08c1e343fc0c40923c05d86b7cf82
# Parent  7dd67cb4f225e2437717e6cb863247b1e6efca26# Parent  63c5920a038d73df37c6ae3101937010f7e9659a
Merge

diff -r 63c5920a038d -r 28bbbecff5f0 .hgtags
--- a/.hgtags	Fri May 02 14:53:06 2014 +0200
+++ b/.hgtags	Thu May 08 23:07:11 2014 -0700
@@ -461,4 +461,5 @@
 b6a2ba7d3ea7259a76c8ff1ec22fac9094494c1c hs25.20-b11
 3c291bc2aa7c58efb1219701f38c41731609e595 hs25.20-b12
 18ae0dac7620474547aa1721bc3fd748af07b8b5 jdk8u20-b12
+47951595af60460a479b8574622375bfbf5c8ed2 jdk8u20-b13
 798f5b02be897151fdad44d695446088b1cca6b1 hs25.20-b13