Repository navigation

0.3.2: upstream source diff, shared-dependency users, quieter check - #11

Merged

yudelevi merged 1 commit into

mainfrom

Oct 8, 2026

Merged

0.3.2: upstream source diff, shared-dependency users, quieter check#11
yudelevi merged 1 commit into
mainfrom
release-0.3.2

Commits on Oct 8, 2026
- Make mpat check show what upstream changed, and where it matters
  yudelevi
  committed
  676e429