Remember to update copyright years when changing files (in general they can be collapsed to a range <year>-2012 when doing so, but not if there would be a year 1990 or earlier in the middle of the range that wasn't previously listed explicitly). -- Joseph S. Myers joseph@codesourcery.com