[boost] [thread] Ticket #3748 ignored for boost-1.42?

12 Feb 2010


      As I see the patch for the bug (is it?) was not applied for version 
1.42. does somebody know why?

Oliver

Oliver Kowalke