On Fri, 19 Apr 2024 10:20:58 GMT, Daniel Jeliński <[email protected]> wrote:

> If that makes the end result smaller / easier to read, go for it!

Here we go!

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

PR Comment: https://git.openjdk.org/jdk/pull/18817#issuecomment-2067810508

Reply via email to