On Sat, Aug 27, 2022 at 11:20 AM John Naylor <john.nay...@enterprisedb.com> wrote: > > Here's a patch with that idea, not tested on Windows yet.
Update: I tried taking the CI for a spin, but ran into IT issues with Github when I tried to push my branch to remote. -- John Naylor EDB: http://www.enterprisedb.com