Paul Eggert 5d1e14bd8b Adjust to recent Gnulib macro renaming ...

Also, remove some references to unused Gnulib macros.

2023-01-07 15:32:56 -08:00

..

config.in

…

Makefile.in

Adjust to recent Gnulib macro renaming

2023-01-07 15:32:56 -08:00