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.
--
Michael