summaryrefslogtreecommitdiff
path: root/tools/maint/extra.supp
AgeCommit message (Collapse)Author
2023-11-06Include a suppressions file for Valgrind.Cyrille Bagard