mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-09 04:31:23 +00:00
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
|