Skip to content

Make it easier to remove a cred fun from registry#224

Merged
jennybc merged 2 commits intomainfrom
better-registry-control
Nov 22, 2022
Merged

Make it easier to remove a cred fun from registry#224
jennybc merged 2 commits intomainfrom
better-registry-control

Commits

Commits on Nov 22, 2022