[PATCH] score: PR2136: Fix _Thread_Change_priority()

[Chris Johns]

Sebastian Huber wrote:
>
> _Thread_Is_executing( the_thread) || _Thread_Is_heir( the_thread )
>
> is not equal to
>
> _Thread_Is_executing_also_the_heir( void )
>

Yes, sorry I meaning the way of coding. The function would be called 
'_Thread_Is_executing_or_the_heir'.

Chris