> On 29 Jul 2021, at 16:58, Bruce Momjian <br...@momjian.us> wrote:
> OK, I can adjust it to say "GNU split" or just skip this addition. I don't have strong feelings either way, with a slight preference for writing it as "GNU split" since it's still a good tip for a large amount of readers. -- Daniel Gustafsson https://vmware.com/
