Skip to content

Cherry-pick: Hotfix to the doc build on master

Ross John Hunter requested to merge cherry-pick-a38aea14 into master

Hotfix to the doc build

See merge request !3289 (merged)

(cherry picked from commit a38aea14)

98631d5a Doc hotfix

Merge request reports