Simon Dardis <Simon.Dardis@imgtec.com> writes: > Could my current SSH key be replaced with the attached one? You should be able to do it yourself using ssh dardiss@gcc.gnu.org replacekey < NEWKEY Let us know if that doesn't work. Ian