Skip to content

Shared: Use final aliases in ConcentsShared.qll - #20172

Merged
hvitved merged 1 commit into
github:mainfrom
hvitved:shared/concepts-final-aliases
Aug 11, 2025
Merged

hvitved merged 1 commit into
github:mainfrom
hvitved:shared/concepts-final-aliases

Shared: Use `final` aliases in `ConcentsShared.qll`

11dcd90
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs