<div><div dir="auto"><br></div></div><div><br><div class="gmail_quote"><div dir="ltr">On Mon, Jul 23, 2018 at 12:03 PM Antoine Pitrou <<a href="mailto:solipsis@pitrou.net">solipsis@pitrou.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
I suspect Chris A. was merely joking, though I'm not sure what the joke<br>
ultimately is supposed to be about.<br></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"></blockquote><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><div dir="auto"><div dir="auto">Ah, right, I stopped reading his email after the quoted line. Well executed.</div></div><div dir="auto"><br></div><div dir="auto">Yury</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"></blockquote><div dir="auto"><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br></blockquote></div></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">         Yury</div>