Skip to content
Snippets Groups Projects

Make some definitions local

Canceled
Simcha van Collem created pipeline for commit 2413607e
, finished
Related merge request !862 to merge transitive-closure
merge request
2 jobs 2 minutes 5 seconds, queued for 5 seconds