On Tue, 30 Sep 2025 04:35:46 GMT, Bernd <[email protected]> wrote: > Thanks, itโs a useful function
@ecki That's great to hear ๐! Thanks for taking your time to go through this and provide feedback/comments. ------------- PR Comment: https://git.openjdk.org/jdk/pull/27537#issuecomment-3350891366
