Re: [bug-miscfiles] proposals

[Alfred M. Szmidt]

   > Gery, have you had a second to check the repository?  I'll be
   > closing down the CVS this week, and pushing that copy (only
   > change is signed tags).

Done; CVS is closed; and git is the main repo.  I needed to reimport
the whole tree due to some disk corruption (hence me being MIA).

Wipe your old CVS repo, and do:

  git clone ssh://git.gnu.org/srv/git/miscfiles.git