Skip to content
Snippets Groups Projects

CHANGELOG.

Passed
Robbert Krebbers created pipeline for commit 35797f91
, finished
Related merge request !492 to merge robbert/set_fold_proper_preorder
4 minutes 23 seconds, queued for 1 seconds