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. Marked as reviewed by stefank (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/14018#pullrequestreview-1429289984
