On Mon, Aug 08, 2016 at 06:34:26PM +0200, Wolfgang Schweer wrote: > I've cherry-picked the mentioned commits to a new branch with starting > point f2810932. Should I push this branch? Needs checking and more work > is needed… yes, sure! (and why not? as long as the branch is name differently you cannot do any harm…! :) +thanks for preparing this, looking forward to review the changes! -- cheers, Holger
Attachment:
signature.asc
Description: Digital signature