commit | b02a1d0c3ed5884b18345ece82e8c4fa510e7bee | [log] [tgz] |
---|---|---|
author | Johannes Doerfert <johannes@jdoerfert.de> | Tue Dec 05 10:08:47 2023 -0800 |
committer | Copybara-Service <copybara-worker@google.com> | Mon Dec 11 17:50:47 2023 -0800 |
tree | 8d7eddf966117d15018adf67add4d1b805abd787 | |
parent | 3f8b5e7882bfc4b715cec8271505afacc6479321 [diff] |
[OpenMP][NFCI] Remove effectively unused mutex The only use was already guarded by a different lock in the caller of loadBinary. GitOrigin-RevId: 2ada7bb68bef36cd228d1c236e96932efb18daaa