On Thu, 25 Apr 2024 12:46:53 GMT, Matthias Baesken <mbaes...@openjdk.org> wrote:

> So is there some intention to decide to have such a default now or in the 
> near future ?
> Otherwise it is a rather theoretical discussion .

No decision on having a default has been made. My point was that implementing 
this PR equates to making a decision NOT to ever support a default. It doesn't 
leave it to be decided some time in the future.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/18190#issuecomment-2078062419

Reply via email to