On Thu, 30 Mar 2023 17:10:20 GMT, Mandy Chung <mch...@openjdk.org> wrote:
> yes, that's not used. It was a leftover from JDK-8204981 & JDK-8234596. Thanks a lot for this clarificaton, Mandy. https://bugs.openjdk.org/browse/JDK-8204981 https://bugs.openjdk.org/browse/JDK-8234596 ------------- PR Comment: https://git.openjdk.org/jdk/pull/13158#issuecomment-1490678668
