[PATCH] devtools: fix escaped space in grep pattern

[Tyler Retzlaff]

On Tue, Jan 10, 2023 at 10:33:17PM +0100, Thomas Monjalon wrote:
> Since grep 3.8, a warning is printed if a space is escaped in a pattern:
> 	grep: warning: stray \ before white space
> 
> There was an occurence of such extra backslash in check-git-log.sh.
> 
> Fixes: d448efa259e9 ("devtools: export dictionary for commit title check")
> Cc: stable at dpdk.org
> 
> Signed-off-by: Thomas Monjalon <thomas at monjalon.net>
> ---

thanks, it was annoying.

Acked-by: Tyler Retzlaff <roretzla at linux.microsoft.com>