Skip to content
Snippets Groups Projects

a few more `scoped_lock`s

Merged Gerhard Raven requested to merge one-more-scoped-lock into master

!1030 (merged) forgot a few std::unique_lock...

Edited by Gerhard Raven

Merge request reports

Pipeline #1379350 passed

Pipeline passed for 1840bfdd on one-more-scoped-lock

Approved by

Merged by Marco ClemencicMarco Clemencic 5 years ago (Feb 25, 2020 8:24am UTC)

Merge details

  • Changes merged into master with 9de12977.
  • Deleted the source branch.

Pipeline #1439745 passed

Pipeline passed for 9de12977 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading