vpp
vpp copied to clipboard
bfd: fix locking bug
Martin, thanks for the fix!
At present, this space (pull requests) is not very well attended, since VPP uses gerrit.fd.io for code, and this is effectively a read-only feed from there.
In any case, we are going to put this in via https://gerrit.fd.io/r/c/vpp/+/29087 - so this PR should soon become a no-op.
Thanks a lot again!