Skip to content

Fix type of OHMutex

Reiner Hauser requested to merge ohmutex into master

This fixes Serguei's change of the OHRootMutex type from boost::mutex to std::mutex. Not compatible with tdaq-08-02-01.

Merge request reports