mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 00:11:07 +00:00
6513d0ce0f
Fixes #2379 Fixes #2380
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
8be6c70775fb3a0b34a98364136852bff13ec9ed
|