fix typo in devel-docs

Merge request reports

Loading