Skip to content

fix(programs): add MintCloseAuthority as restricted extension (M-03) - #2263

Merged
ananas-block merged 2 commits into
mainfrom
jorrit/fix-certora-m03-mint-close-authority
Feb 10, 2026
Merged

ananas-block merged 2 commits into
mainfrom
jorrit/fix-certora-m03-mint-close-authority

Commits

  1. Commits on Feb 9, 2026

  2. Commits on Feb 10, 2026