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