Skip to content
GitLab

Follow-up from MR 27

Merged Eduardo Rodrigues requested to merge erodrigu-follow-mr-27 into master

Follow-up on some trivial comments to !27 (merged) that came in after the merge.

Merge request reports