<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr">On Tue, May 1, 2018, 3:54 PM Øyvind Kolås <<a href="mailto:pippin@gimp.org">pippin@gimp.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
I asked the administrators of freedesktop to remove the PDF attachment<br>
from the mailinglist archive - which they've thankfully managed to do<br>
swiftly<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Thank you Pippin</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>