On Tue, Jul 17, 2018, 14:37 Jeff Backus <jeff.backus@gmail.com> wrote:
Thanks! I'll make updates there. Also - is the Python 3.7 work still in a side tag or has it already been merged in?

It was merged a few days ago.