Skip to content

Don't NPE if :tool-name option omitted#53

Merged
hlship merged 2 commits intomainfrom
hls/20250926-tool-name-default
Sep 26, 2025
Merged

Don't NPE if :tool-name option omitted#53
hlship merged 2 commits intomainfrom
hls/20250926-tool-name-default

Commits

Commits on Sep 26, 2025