we have a new year again, so don't forget to update the copyright years
if you change a file.

One think that's still on my todo list is to fix the copyright years of
all the files that have wrong values (mainly due to my sloppy way of
changing license headers when I changed them from short to long). I've
got a script from Thomas to do that but I need a good day to do that. :-)

Jeremias Maerki

Reply via email to