On Thu, Jan 02, 2014 at 10:09:20PM +0000, Richard Sandiford wrote: > Yeah, the one in contrib/ is still the most recent. Here's part 1, > which just makes some new files use the standard format for the copyright > notice, without changing the years. Applied as obvious.
Thanks for this (and for the followup changes). Jakub