Commit 121c5a1bf86d7af6505d5a75d09e48c0a56060d0

Tom Tromey 1997-04-07T23:45:35

version check fix