Commit 1a280f4eda1e5ff8cd1587e8b7056b9f4ad4aa55

Richard Stallman 1994-01-16T19:31:08

Delete duplicate clauses for hp9k2... and hp9k31...