Commit ec66188031e8f0ecebea500dd4ec7200c7d00bc4

Bruno Haible 2001-09-13T17:54:58

Work around an autoconf bug.