Changeset 55212

Timestamp:

Jul 27, 2009, 8:58:10 PM (13 years ago)

Author:

Frank Mori Hess

Message:

Made generic_ptr::monitor a little less general (always uses a generic_ptr::shared
to hold its mutex) but easier to use (permits reasonable default value for mutex
pointer).

(No files)