Andres Freund <andres@anarazel.de> writes:
> I've renamed the file to win32gettimeofday now. I wonder if we should rename
> files that are specific to msvc to indicate that? But that's for later.
+1, but you didn't change the file's own comments containing its name.
regards, tom lane