]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool.py: Fix error in Ubuntu 22.04.
authorBruno Haible <bruno@clisp.org>
Fri, 29 Jul 2022 09:09:00 +0000 (11:09 +0200)
committerBruno Haible <bruno@clisp.org>
Fri, 29 Jul 2022 09:09:00 +0000 (11:09 +0200)
commite501167fc92c30bdfe636100147859be5550a5cd
tree6d503ffbc27cdf7bdceba42d8d52a9fb995d11b4
parentd0f6e868a6df9feda2648dcc98aba3595ea69cc8
gnulib-tool.py: Fix error in Ubuntu 22.04.

* gnulib-tool.py: Search for python3 in $PATH.
ChangeLog
gnulib-tool.py