You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: options/locale/locale_en-US.ini
+1Lines changed: 1 addition & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -839,6 +839,7 @@ add_new_principal = Add Principal
839
839
ssh_key_been_used = This SSH key has already been added to the server.
840
840
ssh_key_name_used = An SSH key with same name already exists on your account.
841
841
ssh_principal_been_used = This principal has already been added to the server.
842
+
gpg_email_addresses = Email addresses:
842
843
gpg_email_unverified = Unverified
843
844
gpg_key_id_used = A public GPG key with same ID already exists.
844
845
gpg_no_key_email_found = This GPG key does not match any activated email address associated with your account. It may still be added if you sign the provided token.
0 commit comments