You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I have searched existing issues to see if the issue has already been opened, and I have checked the commit log to see if the issue has been resolved since my server was last updated.
Describe the feature
We have mutex_guarded and shared_guarded wrappers which do a much better job than managing this sort of thing by hand. We should be using them instead.
The text was updated successfully, but these errors were encountered:
I affirm:
Describe the feature
We have
mutex_guarded
andshared_guarded
wrappers which do a much better job than managing this sort of thing by hand. We should be using them instead.The text was updated successfully, but these errors were encountered: