>>>>> On Thu, 13 Aug 2015, Michał Górny wrote: > Dnia 2015-08-13, o godz. 19:13:06 > Ulrich Mueller <[email protected]> napisał(a):
>> If this is "a highly-requested feature" then some discussion or >> other reference to it should exist in mailing lists. I can neither >> remember nor can I find such a discussion. >> >> So, could someone please provide a pointer to when and where >> keeping the $Id$ line was requested? > Just to be clear, Infra did it and replaced all $Header$ with $Id$. > Removing it right now without discussion with them would be wrong. I guess nobody suggests to remove it without discussion. Still, I'd like to see some evidence for the above claim that keeping the Id was highly requested. Ulrich
pgpEoMQAd2AAA.pgp
Description: PGP signature
