Hi, On 2021-05-11 11:44:22 -0400, Andrew Dunstan wrote: > Why would we? It's only used in Windows builds, and there's no VPATH > there (sadly).
Is that really relevant? We'll need to update the file on any platform when modifying the .sed, not just in windows. Greetings, Andres Freund
