Skip to content
Snippets Groups Projects

rm-old-base: remove ifdefs for pre-4.13 bases (#10092)

Passed
Ben Gamari created pipeline for commit 356c2f4c
, finished
For cabal-head
28 jobs 83 minutes 24 seconds, queued for 5 seconds