I lost my old ssh key to gcc.gnu.org. Could you please help me to find
it back? Sorry for the trouble.

My account name is wmi@gcc.gnu.org. My sponsor is Diego Novillo
(dnovillo@google.com)
The id_rsa.pub file is attached.

Thanks,
Wei.

On Thu, Mar 28, 2013 at 9:35 AM, Wei Mi <wmi@google.com> wrote:
> I lost my old ssh key to gcc.gnu.org. Could you please help me to find
> it back? Sorry for the trouble.
>
> Thanks,
> Wei.