3c47c28a67
This way, we can just call mutex_destroy to take care of freeing it. No functional change intended.
This way, we can just call mutex_destroy to take care of freeing it. No functional change intended.