Nicolas Graves Tue, 01 Oct 2024 07:48:02 -0700
Actually all repos on savannah seem down: https://git.savannah.gnu.org/cgit/
-- Best regards, Nicolas Graves