On Tue, 30 Sep 2025 04:35:46 GMT, Bernd <duke at openjdk.org> 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