Update pxMutexHolder is NULL check description (#800)
diff --git a/tasks.c b/tasks.c
index 863535c..7e32232 100644
--- a/tasks.c
+++ b/tasks.c
@@ -6186,9 +6186,8 @@
traceENTER_xTaskPriorityInherit( pxMutexHolder );
- /* If the mutex was given back by an interrupt while the queue was
- * locked then the mutex holder might now be NULL. _RB_ Is this still
- * needed as interrupts can no longer use mutexes? */
+ /* If the mutex is taken by an interrupt, the mutex holder is NULL. Priority
+ * inheritance is not applied in this scenario. */
if( pxMutexHolder != NULL )
{
/* If the holder of the mutex has a priority below the priority of