GPGError.ErrorCode.PIN_NOT_SYNCED – gpg-error Reference Manual