Shared: Use final
aliases in ConcentsShared.qll
#20172
Merged
hvitved merged 1 commit intogithub:mainfrom Aug 11, 2025
Merged
Shared: Use `final` aliases in `ConcentsShared.qll`#20172hvitved merged 1 commit intogithub:mainfrom
hvitved merged 1 commit intogithub:mainfrom