Re: [PATCH] xen/gntdev: gntdev.h: drop a duplicated word

[JÃrgen GroÃ]

On 19.07.20 02:33, Randy Dunlap wrote:
> Drop the repeated word "of" in a comment.
>
> Signed-off-by: Randy Dunlap <rdunlap@xxxxxxxxxxxxx>
> Cc: Boris Ostrovsky <boris.ostrovsky@xxxxxxxxxx>
> Cc: Juergen Gross <jgross@xxxxxxxx>
> Cc: xen-devel@xxxxxxxxxxxxxxxxxxxx

Pushed to xen/tip.git for-linus-5.9


Juergen