On Tue, Jan 02, 2024 at 03:58:25PM +0530, Amit Kapila wrote:
> On Fri, Dec 29, 2023 at 2:26 PM vignesh C <vignesh21@gmail.com> wrote:
>> Thanks, the changes look good.
>
> Pushed.
Yeah! Thanks Amit and everybody involved here! Thanks also to Julien
for raising the thread and the problem, to start with.
--
Michael