Skip to content

Make the HTTP server optional via ODR_WITH_HTTP_SERVER#601

Merged
andiwand merged 2 commits into
mainfrom
feat/optional-http-server
Jul 11, 2026
Merged

Make the HTTP server optional via ODR_WITH_HTTP_SERVER#601
andiwand merged 2 commits into
mainfrom
feat/optional-http-server

Commits

Commits on Jul 11, 2026