> On Jul 10, 2017, at 1:53 PM, Leif Hedstrom <[email protected]> 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 --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
