tools/copyright.pl: skip copyright changes for *.key files
authorBruce Momjian <bruce@momjian.us>
Tue, 14 Jan 2020 15:51:58 +0000 (10:51 -0500)
committerBruce Momjian <bruce@momjian.us>
Tue, 14 Jan 2020 15:51:58 +0000 (10:51 -0500)
commit7316f11be03863858fa7acb5eee97ec35c91fca4
treefc08e8f6eee223379f2c2c4244b3a72a5d512d72
parent329730827848f61eb8d353d5addcbd885fa823da
tools/copyright.pl:  skip copyright changes for *.key files

Reported-by: Alvaro Herrera
Discussion: https://postgr.es/m/20200102184059.GA25435@alvherre.pgsql

Backpatch-through: master
src/tools/copyright.pl