Re: [PATCH] sv.{gnu,nongnu}.org -> savannah.{gnu,nongnu},.org

[crupest]

Sorry, I found that all patches seem now to send to bug-hurd mailing 
list. So I send a new one there. BTW, correct the typo here.