K 10 svn:author V 5 silby K 8 svn:date V 27 2002-10-21T16:17:54.000000Z K 7 svn:log V 107 Move patch-al to its proper place. (oops!) patch-al fixes PR ports/43473, in a slightly simpler fashion. END