mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-13 16:29:54 +00:00
e163055f6a
This is needed if an open file is unlinked. Fixes #3800 |
||
---|---|---|
.. | ||
blit | ||
net | ||
sandbox | ||
trace/policy | ||
vfs |