[darcs-devel] [patch1865] remove our own optimisation settings in darcs.cabal
Ganesh Sittampalam
bugs at darcs.net
Sun Aug 11 18:28:23 UTC 2019
Ganesh Sittampalam <ganesh at earth.li> added the comment:
I'm in favour of doing this. Our cabal setup is dragging a lot of
legacy with it and any simplifications are a good thing.
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1865>
__________________________________
More information about the darcs-devel
mailing list