On Wed, Apr 03, 2013 at 03:11:42AM +0100, Ben Millwood wrote: > > I've finished moving most of the Trac wiki pages on Cabal to the new > github wiki. Thanks Ben! We should remove the trac at some point, or the two out-of-sync copies of the same information will cause confusion. Should we do that now, or is there still stuff you want to migrate in the trac? Thanks Ian