Skip to content

fix(stats): stop double-counting dead symbols in the roles map (#2383) - #2522

Merged
carlos-alm merged 2 commits into
mainfrom
fix/issue-2383
Aug 15, 2026
Merged

fix(stats): stop double-counting dead symbols in the roles map (#2383)#2522
carlos-alm merged 2 commits into
mainfrom
fix/issue-2383

merge: bring branch up to date with main

8bed944
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar