Skip to content

Merge branch '3447-mkdocs-ci-issue' into 'master'

Matias Guijarro requested to merge cherry-pick-85c7ddf8 into 1.10.x

Resolve "mkdocs CI issue"

Closes #3447 (closed)

See merge request !4793 (merged)

(cherry picked from commit 85c7ddf8)

cd818f12 fix issue #3447 (closed)

Merge request reports