mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-19 09:16:43 +00:00
When a new signal arrives, which means a formerly non-pending one, we should ignore old signal numbers of that context, but only evaluate newly received data by the last kernel-call. Fix #5193