Closed ocramz closed 3 months ago
Apologies for the large diff, there were lots of trailing whitespaces
Hi @bjpop @andreasabel , could you approve CI testing on this PR? so I can see whether more work needs to be done for old GHCs. Thank you!
@ocramz @bjpop : I do not have the repo rights to start workflows. Bernie, you'll have to jump to action.
This adds the functionality mentioned in #71 .