Hi,
@Erik, Magnus: Thanks for stepping in to explain things.
Now back to the actual change: Is this ok then (@David)? Any other reviews from
somebody else?
http://cr.openjdk.java.net/~clanger/webrevs/8230857.1/
Thank you!
Best regards
Christoph
> -Original Message-
> From: David Holm
Hi Christoph,
On 19/09/2019 7:47 pm, Langer, Christoph wrote:
Hi,
@Erik, Magnus: Thanks for stepping in to explain things.
Now back to the actual change: Is this ok then (@David)? Any other reviews from
somebody else?
http://cr.openjdk.java.net/~clanger/webrevs/8230857.1/
It seems okay.
F
