<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 3 August 2018 at 10:02, W. Martin Borgert <<a href="mailto:debacle@debian.org">debacle@debian.org</a>> wrote:<br></span><span class="">> Any objections or comments?<br></span></blockquote><div> </div><div>None.</div><div><br></div><div>Cheers,</div><div>Victor</div></div></div></div>