Skip to content
Snippets Groups Projects

Merge branch 'develop' into 'flag-aggregation'

Passed
David Schäfer created pipeline for commit a5ab4192
, finished
1 related merge request: !826 added option to change History.squeeze behavior
11 jobs 5 minutes 41 seconds, queued for 1 seconds