<div dir="auto">Fine for me. Thanks<div dir="auto"><br></div><div dir="auto">Cheers,</div><div dir="auto">Victor</div></div><br><div class="gmail_quote"><div dir="ltr">On Sun, Nov 4, 2018, 13:59 W. Martin Borgert <<a href="mailto:debacle@debian.org">debacle@debian.org</a> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
the patch by Helmut seems to be OK.<br>
May I commit and push?<br>
<br>
TIA & Cheers<br>
<br>
<a href="https://bugs.debian.org/912675" rel="noreferrer noreferrer" target="_blank">https://bugs.debian.org/912675</a><br>
</blockquote></div>