mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-02 09:18:18 +00:00
ba0e1b782e
The option was enabled until version 4.8 and is needed by std::lock_guard at least.