CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
9091657c
, finished
Related merge request !420 to merge robbert/set_solver_eauto
5 minutes 16 seconds, queued for 5 seconds