Skip to content
Snippets Groups Projects
Commit 5bb165e9 authored by Florian Schmaus's avatar Florian Schmaus
Browse files

Merge branch 'make_liburcu_optional' into 'master'

make the userspace-rcu dependency optional

See merge request !28
parents 7094703f fdd628f5
No related branches found
No related tags found
Loading
Checking pipeline status