K 10 svn:author V 4 kris K 8 svn:date V 27 2006-09-02T20:13:47.000000Z K 7 svn:log V 216 This port does not need to be IGNOREd since it is already RESTRICTED. However it is also broken since it doesn't respect PTHREAD_LIBS. Since it is unmaintained and quite old, deprecate it with removal on 2006-12-01. END