servers: fix server pages when source code is not specified, include commit SHA in printed version and in web page.#1608
Merged
epoberezkin merged 5 commits intomasterfrom Aug 23, 2025
Merged
Commits
Commits on Aug 22, 2025
Commits on Aug 23, 2025
- committed