Just a friendly reminder that we’re switching to a quarterly release system. The last release (2.19.1) was on April 18th, so we’ll be releasing 2.20.0 on July 18th. This release likely won’t include the new compiler but I project that the one after that (which will be October 18th 2019) will have us switching over completely.
The way we’re going to run these releases is that the latest commit to develop in each repo that has passed completely through Jenkins testing by 9am GMT will be the commit we use for the release. Just as a heads up, this means that if one were to merge something to master in Math at 5am GMT July 18, it probably won’t make it in to 2.20.0 because the Jenkins jobs that test and percolate the commits upstream take more than 4 hours.