Am 2020-08-19 um 11:27 schrieb Jochen Wiedmann:
Looking at

     https://bugs.java.com/bugdatabase/view_bug.do?bug_id=6822107

I would very much like us to abstain from every attempt to go into the
direction, that Stefan suggests. The consequence could be, that we
need to bother with exotic corner cases. Let's stay simple, but
reliable.


You proposal is not to change the code at all?



---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to