Skip to content

Use unique program + option names for link anchors to support Sphinx 1.8.5 [v9_18]

Petr Špaček requested to merge 3295-support-sphinx-185-v9_18 into v9_18

Backport of MR !6167 (merged)

Closes #3295 (closed)

Merge request reports