mbox

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

Message ID 20230418140726.1472209-1-thomas@monjalon.net (mailing list archive)
Headers

Message

Thomas Monjalon April 18, 2023, 2:07 p.m. UTC 
  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

 devtools/git-log-fixes.sh | 24 +++++++-----------------
 1 file changed, 7 insertions(+), 17 deletions(-)

Comments

Thomas Monjalon Nov. 28, 2023, 1:23 p.m. UTC | #1 
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