[Savannah-hackers] Account name change

[Martin Stjernholm]

I own the account "mast" on fencepost.gnu.org, which dates back from
before the project services on savannah.gnu.org was launched. Because
of that I couldn't register the user "mast" on savannah, so per
instructions I took "marst" instead. Using the ssh key on the "marst"
account, the access to my shell account "mast" has been restored.

Now I'd like to get my savannah account "marst" renamed to "mast",
like my old shell account.

Thank you.