Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
contrib: Make fix-copyright-headers.py more portable
Github-Pull: #8607 Rebased-From: fafe7b3432d5117e3f207eafe2fca1f9637b24f6
- Loading branch information