I've been lurking for months on both and support the merge.
(And while I'm writing, massive thank-yous to David and everyone else
who has given so much of their time to make darcs the brilliantly
elegant tool that it is! I'll only give up darcs when they pull it
from my cold, dead hands...)
David
On Apr 23, 2008, at 12:22 AM, Rob Moss wrote:
2008/4/23 Gwern Branwen <[EMAIL PROTECTED]>:
This isn't a large sample to draw on, but unless I missed someone,
it looks like about 5 or 6 to 1 or 2.
If there are any lurkers with opinions, speaking up would be good.
I'm all for merging the two lists.
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
