Skip to content

Make clippy happy with hagrid

Nora Widdecke requested to merge clippy into master

and add a ci job to keep it that way :)

Merge request reports