Skip to content

Mark agr as unmaintained#530

Merged
kasperjunge merged 1 commit into
mainfrom
deprecate-agr
Jul 12, 2026
Merged

Mark agr as unmaintained#530
kasperjunge merged 1 commit into
mainfrom
deprecate-agr

Commits

Commits on Jul 12, 2026