>>>>> "Sébastien" == Sébastien Szymanski <sebastien.szymanski at armadeus.com> writes: > remove upstream patch: > https://gitlab.denx.de/Xenomai/xenomai/commit/c5e9c0817839536562a2ae90921f4799f4a9ad46 > Signed-off-by: Sébastien Szymanski <sebastien.szymanski at armadeus.com> Committed, thanks. -- Bye, Peter Korsgaard