Re: [PATCH] misc: mic: remove unused label

[Greg Kroah-Hartman]

On Fri, Dec 15, 2017 at 01:47:27PM +0100, Arnd Bergmann wrote:
> A cleanup left an unused label behind:
> 
> drivers/misc/mic/vop/vop_vringh.c: In function 'vop_ioctl':
> drivers/misc/mic/vop/vop_vringh.c:1001:1: error: label 'done' defined but not used [-Werror=unused-label]
> 
> This cleans it up as well.
> 
> Fixes: 30b7a2c19e29 ("misc: mic: Use memdup_user() as a cleanup")
> Signed-off-by: Arnd Bergmann <arnd@xxxxxxxx>
> ---
>  drivers/misc/mic/vop/vop_vringh.c | 1 -
>  1 file changed, 1 deletion(-)

Colin beat you to this by 2 days :)