Commit 51f9f340fb6fa08f17f447a60bb142eefd71dd54

Jim Meyering 1995-06-18T19:33:31

merge with 1.12