Commit 35a256030bf7be53e3cc69c1caa12f9377cb9231

Tom Tromey 2001-05-20T17:17:45

* configure.in: Updated to 1.4f.