On Fri, Dec 6, 2024 at 11:10 AM Shlok Kyal <[email protected]> wrote: > > Thanks Peter, for pointing this out. > I also feel that the error message suggested by Amit would be better. > I have attached a patch for the same. >
Pushed. -- With Regards, Amit Kapila.
