On Mon, 17 Jul 2023 22:59:30 GMT, David Holmes <dhol...@openjdk.org> wrote:
> Approved, but please file that follow up issue. Follow up issue for removing the dead code - https://bugs.openjdk.org/browse/JDK-8312232 ------------- PR Comment: https://git.openjdk.org/jdk/pull/14855#issuecomment-1640234531
