Commit d55c5c25 authored by Cresson Remi's avatar Cresson Remi
Browse files

Merge branch 'doc_hotfix_r4.0.0' into 'develop'

Doc hotfix

See merge request !79
2 merge requests!80Release 4.0.0 (doc hotfix),!79Doc hotfix
Pipeline #46005 passed with stages
in 9 minutes and 1 second