Merged, many thanks! I amended your commit messages a little, please have a look at doc/HACKING. Cheers, Justus -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 472 bytes Desc: not available URL: </pipermail/attachments/20160803/be8b1f64/attachment.sig>