Commit 3b38c99c5e7941a654daab617439f8a8165af3b8

Jim Meyering 1993-05-01T20:31:39

merge with 1.4.2.