4 Oct
2010
4 Oct
'10
6:50 p.m.
"Removed foreign_ident from unchanged file foo".
Hm, on second thought, I think this check can be relaxed so that you are allowed to remove foreign_ident from file foo if foo does not actually contain any expanded $Id$.
I've now pushed an update to this effect.