On Thu, 19 Jan 2023 at 14:10, Nathan Bossart <nathandbossart(at)gmail(dot)com> wrote:> This was recently back-patched [0] [1] [2].
Oh, I see that now. Thanks! Sorry for the noise.
--Arthur NascimentoEDB