mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 06:57:51 +00:00
1afbc7f952
Use Github URL that references a commit rather than the unversioned Khronos URL. Fix #2765
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
5b417fa601a0be8b80734f45a3d25012a22eb21d
|