Andres Freund <[email protected]> writes: > I don't really know what to do about the "IO" abbreviation. The other sections > un-abbreviate abbreviations, but I suspect that Input/Output will be less > informative than IO to most...
I'd lean towards writing "I/O", but it's not a point I'd quibble over.
regards, tom lane
