<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><div style="direction: inherit;">Done</div><br><div style="direction: inherit;">On 23 Sep 2016, at 19:16, Michael Banck <<a href="mailto:mbanck@debian.org">mbanck@debian.org</a>> wrote:</div></div><blockquote type="cite"><div>The attached patch fixes this</div></blockquote><div style="direction: inherit;"><br></div><div style="direction: inherit;"><span style="background-color: rgba(255, 255, 255, 0);">--</span><div><span style="background-color: rgba(255, 255, 255, 0);">Filippo SPIGA</span></div><div><span style="background-color: rgba(255, 255, 255, 0);">* Sent from my iPhone, sorry for typos *</span></div></div></body></html>