[darcs-users] darcs patch: finished cleanup of default_boring entries

David Roundy droundy at darcs.net
Tue Oct 14 17:43:21 UTC 2008


On Tue, Oct 14, 2008 at 1:22 PM, Ben Franksen <ben.franksen at online.de> wrote:
>> As it turns out, this patch fails to compile...
>
> Yes, I noticed that. Ahem. See the second amend I sent (almost) immediately
> afterwards, which compiles and is tested. Again, sorry for the noise.

Ah, thanks! I (obviously) missed that...

Applied, and thanks!

David


More information about the darcs-users mailing list