Eric Kow wrote: > On Wed, May 05, 2010 at 21:35:29 +0200, Ben Franksen wrote: >> I realize that the output talks about 'apply', not push, but anyway this >> seems inconsistent to me. Note that I have not done 'darcs apply' in the >> first place. (Yes, I know that push is the same as send+apply. Still.) > > I think you want http://bugs.darcs.net/issue1429
Yes, sorry I was too lazy to first check the bug tracker. Anyway, the ticket does not mention that these options are recommended by darcs when doing a push, this IMO lends some additional force to the item. Should I add this to the ticket? Cheers Ben _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
