> On 29 Jul 2021, at 16:58, Bruce Momjian <bruce@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/