Skip to content
Snippets Groups Projects

Break long line.

Passed
Robbert Krebbers created pipeline for commit eebd01f9
, finished
Related merge request !1050 to merge msammler/stdpp_555
merge request
3 jobs 4 minutes 17 seconds, queued for 2 seconds