Am 2014-06-28 15:00, schrieb Martin Kepplinger:
> (why doesn't git send-email work for this list?)
>
> this is UNTESTED and for now, more of a question if this may suffice to
> close ticket 4019:
>
Any advice or objections on this? I just waited a week or so and asking
doesn't cost anything.
thanks,
martin