FYI. cutting release 4.7.3 On Thu, Nov 22, 2018 at 12:07 AM Enrico Olivelli <eolive...@gmail.com> wrote:
> +1 > > > > > Il giorno gio 22 nov 2018 alle ore 05:15 Jia Zhai <zhaiji...@gmail.com> ha > scritto: > > > 👍 > > > > On Thu, Nov 22, 2018 at 6:54 AM Sijie Guo <guosi...@gmail.com> 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 > > > > > >
