tree 7c97bcd67bfe434e7bbacffa2c29716922454c63
parent 129b43d67dfa422b04e1a3277f2aa15e9c2c488f
author Siva Chandra Reddy <sivachandra@google.com> 1630356165 +0000
committer Copybara-Service <copybara-worker@google.com> 1630356588 -0700

[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