Update copyright headers to 2018 #15054

1. 
   DrahtBot commented at 9:26 am on December 29, 2018: member

   • ./contrib/devtools/copyright_header.py update ./
   • ./contrib/devtools/gen-manpages.sh
2. Update copyright headers to 2018 06ba77973e
3. Bump manpages 1a49a0e310
4. fanquake added the label Docs on Dec 29, 2018
5. 
   fanquake commented at 9:46 am on December 29, 2018: member

   utACK 1a49a0e
6. 
   Empact commented at 10:32 pm on December 29, 2018: member

   Scripted diff?
7. 
   luke-jr commented at 2:22 am on December 30, 2018: member

   I wonder if we should just get rid of the years. They don’t do anything useful…?
8. 
   MarcoFalke commented at 11:26 am on December 31, 2018: member

   Scripted diff?

   Bumping the manpage required compiling the binaries, which is not suitable for a scripted diff.

   I wonder if we should just get rid of the years. They don’t do anything useful…?

   Agree, but that is a legal question that needs some more discussion.

9. MarcoFalke merged this on Dec 31, 2018
10. MarcoFalke closed this on Dec 31, 2018

    ---

11. MarcoFalke referenced this in commit e756eca9e8 on Dec 31, 2018
12. MarcoFalke deleted the branch on Dec 31, 2018
13. 
    Empact commented at 7:02 pm on December 31, 2018: member

    @MarcoFalke how about scripting this one in the future? 06ba77973e7f8938c8461bffeee3718a8f7712f5
14. MarcoFalke locked this on Sep 8, 2021

Contributors
DrahtBot fanquake Empact luke-jr MarcoFalke

Labels
Docs