Commit fd0ca827e7acbbb89aed74f057e4c23a4223f3b3

Stefano Lattarini 2012-02-15T18:40:06

Merge branch 'maint' * maint: maint: add a rule to use gnulib's update-copyright