docs/HYPER.md: document a workaround for a link error #11653
Closed
Azure Pipelines / curl (distcheck ubuntu)
succeeded
Aug 11, 2023 in 8m 55s