On Sat, May 4, 2019 at 2:41 PM Michael Paquier <michael(at)paquier(dot)xyz> wrote:
>
> On Sat, May 04, 2019 at 02:28:48PM +0200, Julien Rouhaud wrote:
> > No objection from me. It's been broken since introduction in 9.5 and
> > has never been noticed since, so it can wait until next release.
> > Should I register the patch in the next commitfest to keep track of
> > it?
>
> No need to. I am marking on my agenda to have an extra look at it
> next week and potentially commit it after the release.
Ok, thanks!