mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-05 10:39:56 +00:00
cd3f6aba37
This patch is a follow-up commit to "foc: remove obsolete features". It fixes the extraction of the src/base-foc archive. Issue #2405