Re: [PATCH] drivers: optee: Fix compilation issue.

[Greg Kroah-Hartman]

On Tue, Jan 21, 2020 at 02:23:02PM +0000, Vincenzo Frascino wrote:
> Hi Greg,
> 
> I sent the fix below few days ago to the optee maintaners but I did not get any
> answer. Could you please pick it up?

	 $ ./scripts/get_maintainer.pl --file drivers/tee/optee/Kconfig
	Jens Wiklander <jens.wiklander@xxxxxxxxxx> (maintainer:OP-TEE DRIVER)
	tee-dev@xxxxxxxxxxxxxxxx (open list:OP-TEE DRIVER)
	linux-kernel@xxxxxxxxxxxxxxx (open list)

This should go through Jens, why me?

greg k-h