[PATCH 1/2] doc: Clarify rtems_task_set_priority()

[Sebastian Huber]

---
 doc/user/task.t | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/user/task.t b/doc/user/task.t
index a172a0c..cf7a514 100644
--- a/doc/user/task.t
+++ b/doc/user/task.t
@@ -1291,6 +1291,9 @@ The calling task may be preempted if its preemption mode is
 enabled and it lowers its own priority or raises another task's
 priority.
 
+In case the new priority equals the current priority of the task, then nothing
+happens.
+
 Setting the priority of a global task which does not reside on
 the local node will generate a request to the remote node to
 change the priority of the specified task.
-- 
1.8.4.5