[Savannah-help-public] CVS access thru port 443

[Richard Stallman]

I'm told that we once provided access to CVS thru port 443,
but no longer.  Some people say this makes it hard for them
to access savannah.  Can we reenable that?