> On Jul 10, 2017, at 1:53 PM, Leif Hedstrom wrote:
>
> Hi all,
>
> yes, I know, the documentation here is lacking (or missing), but here are the
> general guidelines for what Milestone to set on a PR.
>
>
Sorry, wrong list … :-/
— leif
Hi all,
yes, I know, the documentation here is lacking (or missing), but here are the
general guidelines for what Milestone to set on a PR.
1) Set it to the current, actively developed, major version. Currently
this means v8.0.0.
2) If you think this is a back port candidate, a
