Commit df2d56e08efb1c4d9099060f86a8f11b04b9b41e

Tom Tromey 1998-09-26T19:16:56

Upped version number in configure.in