<div dir="auto">Fine with me. </div><br><div class="gmail_quote"><div dir="ltr">On Tue, Oct 9, 2018, 9:47 AM Bernie Innocenti <<a href="mailto:bernie@codewiz.org">bernie@codewiz.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 10/9/18 9:35 PM, Ignacio Rodríguez wrote:<br>
> What's on the subject.<br>
> There has been no messages to that list, just spam to the administrators :)<br>
<br>
No objections. Walter?<br>
<br>
<br>
-- <br>
  _ // Bernie Innocenti<br>
  \X/  <a href="https://codewiz.org/" rel="noreferrer noreferrer" target="_blank">https://codewiz.org/</a><br>
</blockquote></div>