Robert Haas <robertmhaas(at)gmail(dot)com> writes:
> On Wed, Nov 15, 2017 at 10:51 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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