Closed jschlatow closed 1 month ago
As discussed in genodelabs/goa#52 and genodelabs/genode#5087.
Fixed by e9e7fde
Can we close this issue as referenced commits were merged to master?
Yes, I'm closing the issue.
As discussed in genodelabs/goa#52 and genodelabs/genode#5087.