On 03/07/2014 11:12, Peter Levart wrote:

I have filed a RFE that is more suitable for this change:

    https://bugs.openjdk.java.net/browse/JDK-8049228

So, is it strictly necessary to fix JDK-7186258 alone before applying the change for JDK-8049228 although it would supersede it?
We can close JDK-7186258 as a dup once the JDK-8049228 has been reviewed + pushed.

-Alan

Reply via email to