Hi Davide, It would be nice to include a fix for the documentation issue brought up on-list by Alex Klimetschek a couple of weeks ago. It probably shouldn't block the release, but I'll see if I can get a fix in for that today.
-MR On Fri, Jan 4, 2019 at 4:02 AM Davide Giannella <[email protected]> wrote: > Hello team, > > I'm planning to branch 1.10 and cut 1.10.0 on Monday 7th Jan. > > If there are any objections please let me know. Otherwise I will > re-schedule any non-resolved issue for the next iteration. > > Thanks > Davide > > >
