14 Mar
2010
14 Mar
'10
7:44 p.m.
On Sat, Mar 13, 2010 at 6:28 PM, Luís Oliveira luismbo@gmail.com wrote:
Any reason why we shouldn't make this the official branch and adjust the webpage links? (And should we point to the issue tracker as well?)
OK with me, though if people actually started using the issue tracker very much, I'd probably want to move it somewhere better.
I think the only major regression from the darcs tree is that the auto error checking breaks rather badly when used with multiple contexts, but at least that isn't too hard to disable, and seems useful otherwise.
-- b