On Thu, Jan 25, 2024 at 9:28 AM Amit Kapila <amit(dot)kapila16(at)gmail(dot)com> wrote:
>
> Okay, we can change it to 'decoding'. I'll do this before commit
> unless there are more comments. I'll push this early next week
> (probably on Monday) unless I see any comments.
>
Pushed.
--
With Regards,
Amit Kapila.