On Fri, Dec 6, 2024 at 11:10 AM Shlok Kyal <shlok.kyal....@gmail.com> 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.