On Thu, 29 Apr 2021 08:46:57 GMT, Per Liden <pli...@openjdk.org> wrote:

> Maybe this could be a follow up refinement?

Sure, will do so after this PR.

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

PR: https://git.openjdk.java.net/jdk/pull/3756

Reply via email to