K 10 svn:author V 3 jdp K 8 svn:date V 27 1997-01-14T17:53:55.000000Z K 7 svn:log V 202 If a library is found in the hints file, but the library doesn't exist, ignore the hint. This is a straightforward fix, and it should go into 2.2 after a burn-in period of a few days. Noticed by: bde END