> Looks good to me.  Bug-free (for everyone) is better than fast.  And
> *usually* when pushing or putting it's going over ssh, which ought
> to be the bottleneck.

Hmm, I guess I could avoid the encoding when pushing locally.  And
you're right, I forgot to do the same for push.

Feel free to apply, I'll send a patch dependent on this one.

                                        Juliusz

_______________________________________________
darcs-devel mailing list
[email protected]
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel

Reply via email to