I’m the releaser today per calendar. So it would be release_2.0.0.dev7?
w
witty-crayon-22786
08/07/2020, 11:12 PM
thanks @wide-energy-11069: it would be, but i think that there are enough blocking issues right now that we’ll probably want to wait until monday. @hundreds-father-404, @happy-kitchen-89482: does that sound right?