It is almost 4 months after the (slightly-delayed) 1.2.0 release on December 17/ 2018, so probably time to plan the 1.3.0 release. It would be a good idea to look over the PRs with a 1.3.0 milestone, and tag anything else that should have this milestone appropriately.

I'd like to propose the following schedule:

Thoughts?

Tyler