Ok
On Mon, Nov 29, 2021, 4:29 AM Sebastian Huber <
sebastian.hu...@embedded-brains.de> wrote:
> Change licence according to file history.
>
> Update #3053.
> ---
> cpukit/score/src/wkspace.c | 29 -
> 1 file changed, 24 insertions(+), 5 deletions(-)
>
> diff --git a/c
Change licence according to file history.
Update #3053.
---
cpukit/score/src/wkspace.c | 29 -
1 file changed, 24 insertions(+), 5 deletions(-)
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c
index 546847b82d..e4ba753435 100644
--- a/cpukit/score/