On Fri, Dec 11, 2020 at 11:41 AM Daniel Lezcano <[email protected]> wrote: > > > Hi Rafael, > > I believe I took into account all the comments, do you think it is > possible to merge this series ?
It should be, unless more changes are requested. I will be taking care of it next week and, if all goes well, it should be possible to push it during the second half of the merge window. Thanks!
