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