As the council has decided in its 2014-10-14 meeting (and confirmed again in the 2016-11-13 meeting), CVS headers should be removed after the migration to Git. Until recently, this was blocked by repoman still checking for the $Id$ line. The latter is now fixed in the stable repoman version.
Therefore, I am going to remove the remaining CVS headers throughout the tree (except for patches, of course) in two days from now. Ulrich
pgp74__LGVYF4.pgp
Description: PGP signature
