Commit 99850ce59bafd0c06adec3e6134854f9faa1c792

Tom Tromey 1998-08-11T19:30:48

Changed bug-reporting address. More minor fixes from Markus Oberhumer