I wrote:
> 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.
How do you feel about "win32_more.h"?
regards, tom lane