Skip to content
Snippets Groups Projects

Avoid name clash with Data.List.unsnoc in extra-1.7.13

Passed
Tobias Haslop created pipeline for commit 2fdc2843
, finished
Related merge request !301 to merge unsnoc
merge request
14 jobs 276 minutes 40 seconds, queued for 1 seconds