<div dir="ltr"><div>Not dumb question.</div><div><br></div><div>But I don't think Cheryl is on this list. </div><div><br></div><div>not yet ;) </div><div><br></div><div class="gmail_extra"><div class="gmail_quote">On Dec 6, 2017 10:25 AM, "Ethan Furman" <<a href="mailto:ethan@stoneleaf.us" target="_blank">ethan@stoneleaf.us</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 12/06/2017 09:43 AM, Victor Stinner wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Congrats Cheryl!<br>
</blockquote>
<br>
Possibly a dumb question, but is Cheryl on this list?<br>
<br>
--<br><br>
</blockquote></div></div>
</div>