On 12/18/17 11:42 AM, mandy chung wrote:
On 12/18/17 12:22 AM, Peter Levart wrote:
I created an enhancement request:
https://bugs.openjdk.java.net/browse/JDK-8193685
Here's also the webrev that goes with it:
http://cr.openjdk.java.net/~plevart/jdk-dev/8193685_ZipInDeFlater_cleanupImprovement/webrev.01/
Since jdk10 stabilization repo has already been forked, this will
probably be destined to JDK 11. Unless you think it should go to JDK
10. In that case I shall ask for permission to push to stabilization
repo. The fix is not critical, but is also a low risk.
This patch looks good to me. I agree that this is not critical to go to
JDK 10.
Mandy
