[PATCH 0/1] MR8538: server: Release mutexes upon their destruction.