Is there a standard method/tool for easily generating patches for ports? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.genode.org/pipermail/users/attachments/20190305/24fa0268/attachment.html>