@alexmiller Re: the cleanup/review of tickets for 1.12, is it ok if we ask friends/coworkers (who aren't as active here) to contribute, in case they're interested, or would that make things worse for you?

https://docs.google.com/spreadsheets/d/1abADPzfWjU6sk_zFa9CaVNt8xptCZqCQwtdUi1e5qFA/edit?usp=sharing is a quick overview of the tickets, with what I consider somewhat interesting info

Doesn't really matter as long as they are contributors