On Wed, 20 Sep 2023 12:47:19 GMT, Erik Joelsson <er...@openjdk.org> wrote:
> Looks good. I assume you have verified that this still works. Thank you @erikj79 . I appreciate your input. Yes, I have verified the changes , build successfully completed. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15592#issuecomment-1727681258