Bruce Momjian writes:
> If a file is needed by three non-backend directories, /port seems to be
> the proper place for it.
src/port is intended for replacement implementations of standard library
functions. If we make it an "everything that is used in more than one
place" directory, we should be very clear about that strategy. Else,
src/utils might be a better place.
--
Peter Eisentraut peter_e(at)gmx(dot)net