On Tue, 16 May 2023 18:07:16 GMT, Leonid Mesnik <lmes...@openjdk.org> wrote:
> Trivial fix that added missed useful command. > Tested by running make of failure handler and verifying results. This looks good and "trivial". Thanks for fixing this. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14018#issuecomment-1550170733
