Re: preserve timestamps when installing headers

The following review has been posted through the commitfest application:
make installcheck-world:  tested, passed
Implements feature:       tested, passed
Spec compliant:           tested, passed
Documentation:            tested, passed

Personally, I don't often encounter the problem that Alexander is describing, but I agree that there are cases when the simplest way to debug a tricky bug is to make a modification to the core. In fact, I used this technique to diagnose [1].

Unless anyone can think of the scenario when the proposed change will break something, I would suggest merging it.

[1]: https://git.postgresql.org/gitweb/?p=postgresql.git;a=commit;h=98ec35b0

The new status of this patch is: Ready for Committer