Andres Freund <and...@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
