Skip to content

Shared: Use final aliases in ConcentsShared.qll#20172

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

Shared: Use `final` aliases in `ConcentsShared.qll`#20172
hvitved merged 1 commit intogithub:mainfrom
hvitved:shared/concepts-final-aliases

Commits

Commits on Aug 5, 2025