On Sun, 26 Feb 2017 21:24:38 +0100 Andreas K. Huettel wrote: >Am Sonntag, 26. Februar 2017, 21:16:28 CET schrieb Lars Wendler: >> I am completely against removal of this header line. It does _not_ do >> any harm and I don't understand why people want it to be removed so >> badly. >> Now QA again wants to do a questionable action _without_ any approval >> from neither infra nor council. >[snip] > >October 2014 council meeting: > >Can we drop CVS headers post-migration? >Aye: blueness, creffett (proxy for ulm), dberkholz, dilfridge, >radhermit, rich0, williamh > > > >
$Id$ is _NOT_ the CVS header. -- Lars Wendler Gentoo package maintainer GPG: 21CC CF02 4586 0A07 ED93 9F68 498F E765 960E 9B39 Attention! New gpg key! See https://www.gentoofan.org/blog/index.php?/archives/9-New-gpg-keys.html
pgpL6ISAlDEuc.pgp
Description: Digitale Signatur von OpenPGP