[RTEMS Project] Batch modify: #4820, #4819, #4818, #4817, #4816, ...

[RTEMS trac]

Batch modification to #4820, #4819, #4818, #4817, #4816, #4815, #4814 by sebastian.huber:


Action: leave

--
Tickets URL: <http://devel.rtems.org/query?id=4820%2C4819%2C4818%2C4817%2C4816%2C4815%2C4814>
RTEMS Project <http://www.rtems.org/>
RTEMS Project