Skip to content
Snippets Groups Projects

Some refactoring.

Passed
Robbert Krebbers created pipeline for commit 5c566844
, finished
Related merge request !245 to merge hai/more_finmaps
merge request
2 jobs 5 minutes 19 seconds, queued for 183 seconds