Skip to content
Snippets Groups Projects

Merge pull request #9964 from geekosaur/drop-8.2

Passed
Mikolaj Konarski created pipeline for commit e65d156c
, finished
For cabal-head
28 jobs 92 minutes 45 seconds, queued for 12 seconds