Shared: Use final
aliases in ConcentsShared.qll
#20172
Open
hvitved wants to merge 1 commit intogithub:mainfrom
Open
Shared: Use `final` aliases in `ConcentsShared.qll`#20172hvitved wants to merge 1 commit intogithub:mainfrom
hvitved wants to merge 1 commit intogithub:mainfrom