[Savannah-users] savannah.gnu.org certificate expired?

[Paul Smith]

Hi all;

I'm getting a warning from my browser saying that the savannah.gnu.org
HTTPS certificate has expired.

Real?