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
signature.asc
Description: Digital signature
