diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2019-06-29 18:50:39 +0300 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2019-06-29 18:50:39 +0300 |
| commit | 621463d7df0c644f4bf45550d3a75e134876480a (patch) | |
| tree | de5f036d1cf1e4d8117201ad685abf88900d4a12 /contrib/devtools | |
| parent | 01fafe55a1ab20870749dae01b437049ad4ce6e6 (diff) | |
Drop no-longer-relevant copyright holder name
Diffstat (limited to 'contrib/devtools')
| -rwxr-xr-x | contrib/devtools/copyright_header.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/devtools/copyright_header.py b/contrib/devtools/copyright_header.py index 29d1ed87ff..147dba20cd 100755 --- a/contrib/devtools/copyright_header.py +++ b/contrib/devtools/copyright_header.py @@ -97,7 +97,6 @@ EXPECTED_HOLDER_NAMES = [ "Wladimir J. van der Laan\n", "Jeff Garzik\n", "Jan-Klaas Kollhof\n", - "Sam Rushing\n", "ArtForz -- public domain half-a-node\n", "Intel Corporation", "The Zcash developers", |