Skip to content

Promote develop to main: the vendored theme restored to upstream - #42

Merged
ptr727 merged 2 commits into
mainfrom
develop
Aug 7, 2026
Merged

Promote develop to main: the vendored theme restored to upstream#42
ptr727 merged 2 commits into
mainfrom
develop

Commits

Commits on Aug 7, 2026