Commit e6acc19c0d4724d4f22f0d5ed1bf25d15c10bdc3

Bruno Haible 2024-04-02T13:38:32

gnulib-tool.py: Fix some IDE warnings. * HACKING: Update configuration of warnings.