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
Branch
------
master
Details
-------
https://git.postgresql.org/pg/commitdiff/7316f11be03863858fa7acb5eee97ec35c91fca4
Modified Files
--------------
src/tools/copyright.pl | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)