Merge pull request #13120 from neheb/urcu2
authorRosen Penev <rosenp@gmail.com>
Fri, 14 Aug 2020 06:57:53 +0000 (23:57 -0700)
committerGitHub <noreply@github.com>
Fri, 14 Aug 2020 06:57:53 +0000 (23:57 -0700)
liburcu: don't build docs and tests


Trivial merge