Hi Nick,
On 11.11.19 20:01, Peter Wienemann wrote:
* d/copyright
- the only copyright dates I can see in the source are 2014-2015
Judging from the source files, you are right. Judging from the git
commit history I see commits between 2015 and 2019. What is a better
guideline for copyright years: copyright notices in the source or the
git history? Maybe it would be best to combine both information which
would yield 2014-2019. Once I know what should be used, I will update
the copyright file accordingly.
I asked on IRC how to handle this situation. The answer was: Use the
copyright years from the copyright notices in the source. I have just
pushed a commit with the corresponding change to salsa.
Peter