On Mon, May 15, 2023 at 5:44 PM Ajin Cherian <itsa...@gmail.com> wrote: > > On Fri, May 12, 2023 at 9:55 PM Ajin Cherian <itsa...@gmail.com> wrote: > > > > If nobody else is working on this, I can come up with a patch to fix this > > > > Attaching a patch which attempts to fix this. >
Thank you for the patch! I think we might want to have tests for it. Regards, -- Masahiko Sawada Amazon Web Services: https://aws.amazon.com