mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
By including the relevant headers, this problem is prevented in the future because the compiler will complain.
By including the relevant headers, this problem is prevented in the future because the compiler will complain.