Commit 92ba54212edcfc35d739ca9e37acd66352455dbb

Jim Meyering 1995-06-24T22:02:25

merge with 1.12a