Robert Haas <robertmh...@gmail.com> writes: > On Wed, Nov 15, 2017 at 10:51 AM, Tom Lane <t...@sss.pgh.pa.us> wrote: >> 1. Move what's currently in src/include/port/win32.h (a/k/a >> pg_config_os.h) to a new file, say src/include/port/win32_2.h.
> I have no objection to trying to clean things up in that area, but I
> request a less-lame filename than win32_2.h
Sure, if you have a suggestion.
regards, tom lane
