[Bug-gnulib] $Id$

[Karl Berry]

How would people feel about putting $Id$ comments into all the gnulib
files?  I know they get copied around and so the $Id$ changes in other
distributions, but ... it's still unique identification, which we don't
have now.  Any objections?

Thanks,
karl