Thanks, applied as 82860d1ab91752aba051d497ccd272b76d7ac383. Michael
[sent from post-receive hook] On Mon, 05 Aug 2024 08:50:07 +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 6b37e8b19b3a..e51dfe0a9bf1 100644 > --- a/scripts/lib/ptxd_make_world_lint.sh > +++ b/scripts/lib/ptxd_make_world_lint.sh > @@ -358,7 +358,7 @@ PTXDIST_LINT_COMMANDS="${PTXDIST_LINT_COMMANDS} cross" > ptxd_make_world_lint_menu() { > local filefd file > > - echo "Checking menu file formating and basic syntax ..." > + echo "Checking menu file formatting and basic syntax ..." > > exec {filefd}< <(ptxd_make_world_lint_menu_files) > while read file <&${filefd}; do
