Daniel,
> On 14 Mar 2019, at 11:10, Daniel Fuchs wrote:
>
> Hi Chris,
>
> Thanks for fixing this, it is an important distinction!
Thanks for the review.
> (and I like John's description of the issue :-))
>
> I am wondering though - whether there's a relationship with
> this bug, and JDK-8180
Hi Chris,
Thanks for fixing this, it is an important distinction!
(and I like John's description of the issue :-))
I am wondering though - whether there's a relationship with
this bug, and JDK-8180754 [1].
best regards,
-- daniel
[1] https://bugs.openjdk.java.net/browse/JDK-8180754
On 14/03/
