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

[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