[PATCH 0/2] minor changes in script used for backports

[Thomas Monjalon]

28/11/2023 14:23, Thomas Monjalon:
> These patches have been forgotten.
> Adding more Cc.
> 
> 18/04/2023 16:07, Thomas Monjalon:
> > While looking again at git-log-fixes.sh,
> > I've found a minor bug and a small improvement.
> > 
> > Thomas Monjalon (2):
> >   devtools: fix check of multiple commits fixed at once
> >   devtools: deduplicate function to mark fixes

Acked-by: Luca Boccassi <bluca at debian.org>
Acked-by: Kevin Traynor <ktraynor at redhat.com>

Applied