[Savannah-hackers-public] [gnu.org #912039] Migrate gnu.org/nongnu.org from CVS

[Lisa Maginnis via RT]

Acknowledged.

Looking at this ticket.

Thanks,

-- 
~Lisa Marie Maginnis
Senior System Administrator
Free Software Foundation
http://fsf.org http://gnu.org
GPG Key: 61EEC710