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

Ben Franksen ben.franksen at online.de
Tue Oct 14 17:22:27 UTC 2008


David Roundy wrote:
> On Tue, Oct 14, 2008 at 08:11:16AM -0400, David Roundy wrote:
>> On Tue, Oct 14, 2008 at 12:01:41PM +0200, benjamin.franksen at bessy.de
>> wrote:
>> > This is my previous patch amended to better reflect gnu arch's
>> > funky file names. Thanks to Andy Smith for pointing me to the arch
>> > wiki.
>> > 
>> > Tue Oct 14 11:59:43 CEST 2008  benjamin.franksen at bessy.de
>> >   * finished cleanup of default_boring entries
>> 
>> Applied, thanks!
> 
> 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.

Cheers
Ben


More information about the darcs-users mailing list