On Tue, Mar 28, 2023 at 5:15 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:> I guess we should add a test of -Fp too, to keep it working?
Oops, that was already tested in existing tests, so I take that back.