mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-25 22:00:32 +00:00
153429268e
This is analogue to the changes done in packet_stream_tx in commit: cb9b2724de3b9ecba67d0403ff61bd8ba6a3313d