On Wed, 12 Apr 2017, Denys Vlasenko wrote: > I committed a change which implements "exec -a" > in a slightly different way. Please try current git. Works for me. Thanks a lot! BR, Kaarle