Skip to content

Fix sphinx issue: Replace doc role with ref

Flavio TARSETTI requested to merge fix_doc_faq into master

This MR fixes a sphinx issue.

Merge request reports