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
