1 |
On Sun, 26 Feb 2017 15:32:56 -0500 Rich Freeman wrote: |
2 |
|
3 |
>On Sun, Feb 26, 2017 at 3:27 PM, Lars Wendler |
4 |
><polynomial-c@g.o> wrote: |
5 |
>> On Sun, 26 Feb 2017 21:24:38 +0100 Andreas K. Huettel wrote: |
6 |
>> |
7 |
>>>Am Sonntag, 26. Februar 2017, 21:16:28 CET schrieb Lars Wendler: |
8 |
>>>> I am completely against removal of this header line. It does _not_ |
9 |
>>>> do any harm and I don't understand why people want it to be |
10 |
>>>> removed so badly. |
11 |
>>>> Now QA again wants to do a questionable action _without_ any |
12 |
>>>> approval from neither infra nor council. |
13 |
>>>[snip] |
14 |
>>> |
15 |
>>>October 2014 council meeting: |
16 |
>>> |
17 |
>>>Can we drop CVS headers post-migration? |
18 |
>>>Aye: blueness, creffett (proxy for ulm), dberkholz, dilfridge, |
19 |
>>>radhermit, rich0, williamh |
20 |
>>> |
21 |
>> |
22 |
>> $Id$ is _NOT_ the CVS header. |
23 |
>> |
24 |
> |
25 |
>Do we really need to put it on the Council agenda just so that the |
26 |
>same group of people can approve it again? |
27 |
> |
28 |
|
29 |
Yes please. I'd like to raise my concerns if this is really the only |
30 |
way to keep this header. |
31 |
|
32 |
-- |
33 |
Lars Wendler |
34 |
Gentoo package maintainer |
35 |
GPG: 21CC CF02 4586 0A07 ED93 9F68 498F E765 960E 9B39 |
36 |
|
37 |
Attention! New gpg key! See |
38 |
https://www.gentoofan.org/blog/index.php?/archives/9-New-gpg-keys.html |