Got Jim's and my votes, could be merged now ;) Please note that the CHANGES entries from the patch are slightly mixed with unrelated changes, should be cleaned up when backporting. Nice changes otherwise, thanks!
On Wed, Mar 13, 2019 at 2:05 PM Stefan Eissing <[email protected]> wrote: > > Proposal updated in 1855417. > > > Am 13.03.2019 um 13:46 schrieb Stefan Eissing > > <[email protected]>: > > > > > >> Am 13.03.2019 um 13:32 schrieb Yann Ylavic <[email protected]>: > >> > >> On Wed, Mar 13, 2019 at 12:55 PM Yann Ylavic <[email protected]> wrote: > >>> > >>> On Wed, Mar 13, 2019 at 12:49 PM Stefan Eissing > >>> <[email protected]> wrote: > >>>> > >>>> It would be nice if 2 people could find the time to have a look at it. > >>> > >>> I'm currently reviewing it, looks good so far, nice! > >> > >> Looks like the proposal reverts r1852989, normal? > > > > Nicely caught! I forgot to bring this over to github, so my recent merge > > over did revert it. > > > > Re-added to trunk in: r1855411. Will add to backport proposal. > > > > Thanks, Yann! > > >
