On 11/23/25 18:57, Maurice Hieronymus wrote:
In [1] it is pointed out that each mutex_init call should have a corresponding call to mutex_destroy; otherwise, it is considered a bug.
IIUC, mutex_destroy() only ever does something during with CONFIG_DEBUG_MUTEXES. And there, it performs mostly sanity checks (so it's not some missed memory freeing etc).
I wonder whether we should still ad Fixes tags. -- Cheers David

