On Wed, Dec 23, 2020 at 12:06 AM Thomas Munro <thomas.mu...@gmail.com> wrote: > On Mon, Dec 21, 2020 at 11:40 AM Andres Freund <and...@anarazel.de> wrote: > > Can we come up with a better name than 'uio'? I find that a not exactly > > meaningful name. > > Ok, let's try port/pg_iovec.h.
I pushed it with that name, and a couple more cosmetic changes. I'll keep an eye on the build farm.
