Re: [PATCH] include/linux/rtmutex.h: NOOP rt_mutex_destroy if !CONFIG_DEBUG_RT_MUTEXES

From: Alex Goins
Date: Fri Nov 04 2016 - 23:10:20 EST


Pinging in case this got buried.

Thanks,
Alex