Skip to content

Remove a merge request leftover

Lorenzo Giacomelrequested to merge
remove-merge-leftover into master

We remove an unresolved merge conflict which remeined unnoticed because it is in a docstring

Merge request reports