Hello,

I have lost my old SSH key to access gcc.gnu.org. Back in 2017 I 
registered using rdapp@linux.vnet.ibm.com. This e-mail address is still 
valid (even though I would like to update it to the one I'm using now).

Would you kindly replace my public key with the one I attached? Thank you.

In case you will want to verify that I'm the person I claim to be please 
refer to krebbel@linux.ibm.com.

Regards
  Robin