[ovs-dev] [PATCH] Documentation: Remove duplicate words.

[Ben Pfaff]

On Mon, Jul 19, 2021 at 01:27:16PM +0200, David Marchand wrote:
> This is a simple cleanup with a script of mine.
> 
> Signed-off-by: David Marchand <david.marchand at redhat.com>
> ---
> This script is a bit too silly/simplistic and requires manual review
> (too many false positives), but I don't think it is worth investing too
> much time into integrating this kind of check in utilities/checkpatch.py.

Thanks, pushed!