Skip to content

Shared: Remove antijoin from Guards.qll#20438

Merged
MathiasVP merged 1 commit intogithub:mainfrom
MathiasVP:remove-antijoin-in-shared-guards
Sep 16, 2025
Merged

Shared: Remove antijoin from `Guards.qll`#20438
MathiasVP merged 1 commit intogithub:mainfrom
MathiasVP:remove-antijoin-in-shared-guards

Commits

Commits on Sep 15, 2025