Your change looks ok. I assume you will also need a sponsor?
/Erik On 2017-08-21 11:23, John Paul Adrian Glaubitz wrote:
On 08/18/2017 01:37 PM, John Paul Adrian Glaubitz wrote:This is my very first issue opened in the Java Bug System, so please bear with me if there are any issues with my report. FWIW, I still need to understand how to push the patch to the webreview system.Here's the webrev for this one [1]. Adrian[1] http://cr.openjdk.java.net/~glaubitz/8186433/webrev.00/