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