On Dec 6, 2017 10:25 AM, "Ethan Furman" <ethan@stoneleaf.us> wrote:

On 12/06/2017 09:43 AM, Victor Stinner wrote:

Congrats Cheryl!

Possibly a dumb question, but is Cheryl on this list?

--