> On 6 Sep 2023, at 07:18, Suraj Kharage <suraj.khar...@enterprisedb.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



Reply via email to