Changeset 57169

Timestamp:

Oct 27, 2009, 9:45:53 AM (13 years ago)

Author:

Anthony Williams

Message:

Fix for bug #2067 --- use shared_mutex for thread_group rather than a simple mutex

(No files)