Skip to content

Rename the Grove stats heading - #83

Merged
dmarzzz merged 1 commit into
mainfrom
codex/grove-network-stats-heading
Aug 26, 2026
Merged

Rename the Grove stats heading#83
dmarzzz merged 1 commit into
mainfrom
codex/grove-network-stats-heading

copy: name the Grove stats page plainly

e62dbf0
Select commit
Loading
Failed to load commit list.