Thanks, applied as cc3374d2a85fe26c2b5afedff1e402dc741920ed. Michael
[sent from post-receive hook] On Wed, 16 Jun 2021 12:35:30 +0200, Roland Hieber <[email protected]> wrote: > Signed-off-by: Roland Hieber <[email protected]> > Message-Id: <[email protected]> > Signed-off-by: Michael Olbrich <[email protected]> > > diff --git a/scripts/lib/ptxd_make_world_lint.sh > b/scripts/lib/ptxd_make_world_lint.sh > index 410cb2747394..06926e58d614 100644 > --- a/scripts/lib/ptxd_make_world_lint.sh > +++ b/scripts/lib/ptxd_make_world_lint.sh > @@ -185,7 +185,7 @@ PTXDIST_LINT_COMMANDS="${PTXDIST_LINT_COMMANDS} autogen" > ptxd_make_world_lint_credits() { > local filefd file > > - echo "Checking for obsolte 'See CREDITS for details about who has > contributed to this project.' comment ..." > + echo "Checking for obsolete 'See CREDITS for details about who has > contributed to this project.' comment ..." > > exec {filefd}< <(ptxd_make_world_lint_makefiles) > while read file <&${filefd}; do _______________________________________________ ptxdist mailing list [email protected] To unsubscribe, send a mail with subject "unsubscribe" to [email protected]
