Skip to content

Fix dev docs for repo update script

Florian Sesserrequested to merge
fix-repo-update-docs into develop

Thanks @jcalderone for pointing me to it

Merge request reports