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