up version in development#252

Merged

thorinaboenke merged 13 commits into

developmentfrom

Jun 23, 2026

Commits on May 20, 2026

Commits on May 21, 2026

Commits on May 22, 2026

added Getting Started for the Remote API, changed default port in remote_config.rst to port actually used by default
erik-graf
committed

Commits on Jun 1, 2026

Responding to change requests
erik-graf
committed

Commits on Jun 2, 2026