Commit 957b720009f29b248e1c7303bf2d684af75c3a1f

Stefano Lattarini 2012-02-16T10:35:19

Merge branch 'maint' * maint: update-copyright: don't touch files synced from external packages