Tweak line breaks.
Passed
Robbert Krebbers
created pipeline for commit
64df1cb3
, finished
Related merge request !524 to merge ralf/wf
5 minutes 3 seconds, queued for 3 seconds