On Mon, May 17, 2021 at 10:29 PM Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)com> wrote:
> +1 to fix this. Are you already working on fixing this? If not, I'll
> post a patch.
I posted a patch recently (last Thursday my time). Perhaps you can review it?
--
Peter Geoghegan