[PATCH] devtools: fix escaped space in grep pattern

[Thomas Monjalon]

10/01/2023 22:52, 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>

Applied