Doc updates will still be acceptable, but please tag them with v1.14 milestone & doc label.
toggle quoted messageShow quoted text
On Mar 27, 2019, at 2:37 AM, Erwan Gouriou <erwan.gouriou@...> wrote:
What about doc PRs?
On Tue, 26 Mar 2019 at 20:17, Kumar Gala <kumar.gala@...> wrote:
I plan on making a -rc3 release at the end of the day on Thursday (Mar 28). After which only Bug fix PRs that have an associated GitHub issue will be merged.
Again, please tag any PRs with the v1.14 milestone and with ‘bug’ label.