Hi all,
we’re getting very close to make a v7.1.3 release. I’d like to ask for input, and specifically, that people look at two things: 1) If you have a PR that’s marked with a 7.x Project, for the 7.1.x release, please check that this is still needed. There are a few PRs marked there which haven’t even landed on master. 2) If you have a PR on master, that is *not* on the 7.x Project, but you feel strongly it needs to go in for 7.1.x, please update that PR. If I hear nothing, I’ll probably make a release candidate tomorrow. Cheers, — leif
