
<!DOCTYPE html>

<html>

<head>

<title></title>

<style type="text/css">p.MsoNormal,p.MsoNoSpacing{margin:0}</style>

</head>

<body><div style="font-family:Arial;">Hi,<br></div>

<div style="font-family:Arial;"><br></div>

<div>On Wed, Jan 9, 2019, at 15:03, Alessandro Morgantini wrote:<br></div>

<blockquote type="cite"><div style="font-family:Arial;">What do you think? Could it be pushed?<br></div>

</blockquote><div style="font-family:Arial;"><br></div>

<div style="font-family:Arial;">Looks good to me, and pretty harmless. 

Not sure if it would help to get it accepted, but do note that the 

maintainer expects git-formatted patches. (I.e. as described here: <a defang_rel="noopener noreferrer" href="https://git-scm.com/book/en/v2/Distributed-Git-Contributing-to-a-Project#_project_over_email">https://git-scm.com/book/en/v2/Distributed-Git-Contributing-to-a-Project#_project_over_email</a>)<br></div>

<div style="font-family:Arial;"><br></div>

<div style="font-family:Arial;">Sincerely,<br></div>

<div style="font-family:Arial;">Amir<br></div>

</body>

</html>