Revert "Add cabal exec"
This reverts commit 99d912d3. Looks like Johan managed to botch a merge somehow, see #1786. Or maybe that was a bug on the GitHub side.
Please register or sign in to comment
This reverts commit 99d912d3. Looks like Johan managed to botch a merge somehow, see #1786. Or maybe that was a bug on the GitHub side.