Skip to content
Snippets Groups Projects

CHANGELOG.

Passed
Robbert Krebbers created pipeline for commit 924782c8
, finished
Related merge request !352 to merge robbert/destruct_select
merge request
2 jobs 5 minutes 2 seconds, queued for 8 seconds