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
