Commit e501167fc92c30bdfe636100147859be5550a5cd

Bruno Haible 2022-07-29T11:09:00

gnulib-tool.py: Fix error in Ubuntu 22.04. * gnulib-tool.py: Search for python3 in $PATH.