Nov. 2, 2020
12:25 p.m.
Hi everyone, I intend to branch v0.18.x and release version 0.18.0 tomorrow or Wednesday. If you have any pull requests that you think are *critical* to get into 0.18, or that would be nice and you think are super close, please tag the appropriate PR with the 0.18 milestone. Juan.