Approved. regards, Sean.
On 03/06/2014 01:40, Mikael Vidstedt wrote:
Requesting push approval for JDK-8043206. This fix has already gone into both 9 and 8u20 and applies cleanly to 7u-dev.Bug: https://bugs.openjdk.java.net/browse/JDK-8043206Webrev: http://cr.openjdk.java.net/~mikael/webrevs/8043206-7u/webrev.00/webrev/Review: http://mail.openjdk.java.net/pipermail/hotspot-dev/2014-May/014027.htmlCheers, Mikael