Looks fine Daniel. Thanks, Michael
On 02/02/2017, 18:30, Daniel Fuchs wrote:
On 02/02/17 18:29, Daniel Fuchs wrote:Here is the new webrev: http://cr.openjdk.java.net/~dfuchs/webrev_8173315/webrev.00/I meant http://cr.openjdk.java.net/~dfuchs/webrev_8173315/webrev.01/ of course :-( -- daniel
