Skip to content
Snippets Groups Projects

CHANGELOG.

Passed
Robbert Krebbers created pipeline for commit 990c01e8
, finished
Related merge request !308 to merge robbert/map_singleton_subseteq
merge request
2 jobs 5 minutes 21 seconds, queued for 6 seconds