assigned to @msammler
unassigned @msammler
added 1 commit
Thanks. I made minor changes (1) avoid a long line (2) Avoid relying on setoid_rewrite to unfold stuff, setoid_rewrite can be a bit flaky.
Merging.
enabled an automatic merge when the pipeline for bfa786c0 succeeds
merged
mentioned in commit fd0deb99