On 07 Nov 2016, at 16:43 , Lawrence Velázquez <[email protected]> wrote:

> No, we should absolutely forbid "$Id$" lines. New ports should not have
> them.

+1

This goes back to CVS. Who needs that? That’s what “git log -1 FILENAME” is 
for! :)

Reply via email to