On Fri, 2 Sep 2022 17:22:52 GMT, Joe Darcy <da...@openjdk.org> wrote:
> In order to get the build-breakage fixed sooner, I'm re-sending out > @DamonFool 's fix https://github.com/openjdk/jdk/pull/10135 under this PR. PS @DamonFool, sorry the contributor command I issued didn't have the effect of crediting you; I should have checked the command status more closely before pushing. Thanks again for the fix. ------------- PR: https://git.openjdk.org/jdk/pull/10148
