tools/copyright.pl: skip copyright changes for *.key files

Bruce Momjian <bruce@momjian.us>

Commit: 7316f11be03863858fa7acb5eee97ec35c91fca4
Author: Bruce Momjian <bruce@momjian.us>
Date: 2020-01-14T15:51:58Z
Releases: 13.0
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

Files

PathChange+/−
src/tools/copyright.pl modified +1 −1