Skip to content

Do not report stale deps that are weakdeps as well#135

Merged
fingolfin merged 1 commit intoJuliaTesting:masterfrom lgoettgens:lg/stale-weakdepsJun 5, 2023

Commits

Commits on Jun 5, 2023