mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-28 01:28:53 +00:00
a0517686ca
The old port version contained '*.ali' files that were build with an older GCC which led to problems when compiling packages that use the port with the new GCC 10. The '*.ali' files of the new port version were generated with GCC 10. Fixes #4145
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
120d029e631135e802559ef196759ea314c6c257
|