cleanup: removed $Id$, which is useless now that we've migrated to git.
briefly talked about it on jabber, no one opposed to it, Jeremy explicitly agreed. changes are trivial themselves, so no explicit review.
Please register or sign in to comment
briefly talked about it on jabber, no one opposed to it, Jeremy explicitly agreed. changes are trivial themselves, so no explicit review.