diff options
| author | Tom Lane | 2022-04-11 15:20:13 +0000 |
|---|---|---|
| committer | Tom Lane | 2022-04-11 15:20:20 +0000 |
| commit | dfd0f2bbc5776f261ef4c8ab128469ef9091dcfe (patch) | |
| tree | 72fec2b24fbbfc1f91c27159ca0887c95747f672 /src/common/logging.c | |
| parent | ad385a494f6ad863b38aa7c708f23aaf223438a7 (diff) | |
Avoid re-writing files unnecessarily in src/tools/copyright.pl.
The existing coding resulted in touching every copyright-containing
file in the tree, even if it was already up to date. That doesn't
matter much for the annual run, but it's an annoyance if you try
to use the script for mop-up at the close of a devel cycle, as
I just did.
Discussion: https://postgr.es/m/266030.1649685473@sss.pgh.pa.us
Diffstat (limited to 'src/common/logging.c')
0 files changed, 0 insertions, 0 deletions