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