Merge branch '3447-mkdocs-ci-issue' into 'master'
Resolve "mkdocs CI issue"
Closes #3447 (closed)
See merge request !4793 (merged)
(cherry picked from commit 85c7ddf8)
cd818f12 fix issue #3447 (closed)
Resolve "mkdocs CI issue"
Closes #3447 (closed)
See merge request !4793 (merged)
(cherry picked from commit 85c7ddf8)
cd818f12 fix issue #3447 (closed)