-
Klaus Weidenbach authored
If you copy the identity from your profile page the @-sign is invalid for the import and fails. Replace it for convenience.
49e77e0f
If you copy the identity from your profile page the @-sign is invalid for the import and fails. Replace it for convenience.