FYI. cutting release 4.7.3 On Thu, Nov 22, 2018 at 12:07 AM Enrico Olivelli <[email protected]> wrote:
> +1 > > > > > Il giorno gio 22 nov 2018 alle ore 05:15 Jia Zhai <[email protected]> ha > scritto: > > > 👍 > > > > On Thu, Nov 22, 2018 at 6:54 AM Sijie Guo <[email protected]> wrote: > > > > > Hi all, > > > > > > I would like to cut a 4.7.3 release late this week. If you have any > fixes > > > to include in 4.7.3, please label those issues as 4.7.3, then I will > make > > > sure they are included. > > > > > > - Sijie > > > > > >
