Skip to content

chore: promote dev to main — app v0.4.0 (Mantis #1218)#3

Merged
Snider merged 1 commit into
mainfrom
dev
Apr 30, 2026
Merged

chore: promote dev to main — app v0.4.0 (Mantis #1218)#3
Snider merged 1 commit into
mainfrom
dev

Commits

Commits on Apr 30, 2026