[darcs-devel] [issue734] wish: --set-scripts-executable for "darcs dist".

[noreply]

noreply <noreply at darcs.net> added the comment:

The following patch sent by Gabriel Kerneis <kerneis at pps.jussieu.fr> updated issue issue734 with
status=resolved;resolvedin=2.8.0 HEAD

* resolve issue734: --set-scripts-executable for "darcs dist" 
Ignore-this: 15671e02277c10f4421b47378469b0a4

----------
resolvedin:  -> 2.8.0 HEAD
status: in-progress -> resolved

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue734>
__________________________________