mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 16:31:06 +00:00
72e31090ee
Fixes #1520
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
b39cfa69b3aa8f3a5f2d27b4249fbf15d402e1e4
|