On 10/09/2013 10:27, Andreas Rieber wrote:
We're not strictly required to do that each time, it's a confusing point that comes up regularly (with the result that we are inconsistent). There's a script checked into the top-level repo that can be used to do bulk updates. I don't know how often it is run, hopefully at least once a year.Minor hint, the copyright header year update is missing.Andreas
-Alan
