Skip to content
Snippets Groups Projects

Fix `Params` of `from_option` to match with !276.

Passed
Robbert Krebbers created pipeline for commit ca70af1d
, finished
For master
5 jobs 10 minutes 35 seconds, queued for 3 seconds