On Sat, May 4, 2019 at 2:41 PM Michael Paquier <mich...@paquier.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!
