Skip to content

Return dedicated exit status#335

Merged
ChrisBr merged 1 commit intomainfrom
cbruckmayer/return-dedicated-exit-status
Jun 6, 2025
Merged

Return dedicated exit status#335
ChrisBr merged 1 commit intomainfrom
cbruckmayer/return-dedicated-exit-status

Commits

Commits on Jun 6, 2025