K 10 svn:author V 6 marino K 8 svn:date V 27 2015-03-25T09:33:52.695321Z K 7 svn:log V 142 databases category: Remove $PTHREAD_LIBS Note: virtuoso did not pass check-plist from before, so it was fixed. approved by: PTHREAD blanket END