mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-28 01:28:53 +00:00
94fd5ad3b0
via the Genode build system. Avoids the need to maintain contrib patches on nova. Fixes #2162
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
931c26a24d490daae7df7ebbb03274366088adf0
|