Skip to content
Snippets Groups Projects

Merge pull request #8854 from tek/torsten.schmits/add-extension-ListTuplePuns

Passed
Mikolaj Konarski created pipeline for commit 9ddaa56f
, finished
For cabal-head
16 jobs 71 minutes 55 seconds, queued for 8 seconds