fixed #13517 - added command-line option `--{no-}check-headers`#7285

Open

firewave wants to merge 1 commit intodanmar:mainfrom firewave:check-heades

+64-2

Commits on Feb 5, 2025

fixed #13517 - added command-line option --{no-}check-headers
firewave
committed