Skip to content
Snippets Groups Projects

Merge branch 'develop' into earlyreturns

Passed
David Schäfer created pipeline for commit 20f87424
, finished
1 related merge request: !363 Don't skip over empty history columns when squeezing.
5 jobs 1 minute 33 seconds, queued for 5 seconds