Copyright information was gathered using `git log` with per-line history tracking, which allows following the history of a file through renames.
Copyright information was gathered using `git log` with per-line history tracking, which allows following the history of a file through renames.