[darcs-devel] [patch1240] remove execSSH unused since removal of the put command

Guillaume Hoffmann guillaumh at gmail.com
Thu Feb 12 19:01:53 UTC 2015


Goes into branch 2.10 as dependency of the bundle compression optimization.


More information about the darcs-devel mailing list