Commit 641a5a4bf09cdc07acf1539caa86f6197feb032e

Stefano Lattarini 2012-02-16T10:46:23

maint: run "make update-copyright"