Andrew Musselman Wed, 01 Feb 2017 16:00:53 -0800
Sorry for the email blast everyone; we couldn't figure out how to turn off notifications.
Who knows how, and is that something we could get permission for if needed?