> On 6 Sep 2023, at 07:18, Suraj Kharage <suraj(dot)kharage(at)enterprisedb(dot)com> wrote:
> we haven't changed the filename in other test cases.
> Did the same in the attached patch.
Pushed (along with a small typo fix), thanks!
--
Daniel Gustafsson