]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #3106 from pacovn/Coverity_1446184_Copy-paste_error
authorDavid Lamparter <equinox@diac24.net>
Mon, 1 Oct 2018 10:46:21 +0000 (12:46 +0200)
committerGitHub <noreply@github.com>
Mon, 1 Oct 2018 10:46:21 +0000 (12:46 +0200)
lib: RB-tree copy-paste error (Coverity 1446184)


Trivial merge