Commit 47679ef14812f9e7d457b894ad886f8aaee1ec5b

Bruno Haible 2000-04-13T22:45:32

Converge with official GNU config.