Skip to content
Snippets Groups Projects

Define MergeIdxPair type to hold pair of merge indices

Passed
Frank Bossen created pipeline for commit 72cbebe1
, finished
Related merge request !2440 to merge clean198
merge request
4 jobs 9 minutes 13 seconds, queued for 0 seconds