Skip to content

File::addMessage(): do not ignore Internal errors when scanning selectively#3915

Closed
jrfnl wants to merge 2 commits intomasterfrom
feature/dont-ignore-internal-errors
Closed

File::addMessage(): do not ignore Internal errors when scanning selectively#3915
jrfnl wants to merge 2 commits intomasterfrom
feature/dont-ignore-internal-errors

Commits

Commits on Oct 31, 2023