| commit | c691846939910c3567c943440ca52ede5647506e | [log] [tgz] |
|---|---|---|
| author | Siva Chandra Reddy <sivachandra@google.com> | Mon Aug 30 20:42:45 2021 +0000 |
| committer | Copybara-Service <copybara-worker@google.com> | Mon Aug 30 13:49:48 2021 -0700 |
| tree | 7c97bcd67bfe434e7bbacffa2c29716922454c63 | |
| parent | 129b43d67dfa422b04e1a3277f2aa15e9c2c488f [diff] |
[libc] Add mtx_destroy which does nothing. There is not cleanup to be done for the mutex type so mtx_destroy does nothing. GitOrigin-RevId: 7a2a765745973ebeb041276d2d9489a000ba9371