Commit 92a0e357d2915935df140c766bf98db53a53a455

Jim Meyering 1993-10-06T16:44:42

merge with 3.8.3b