]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #4255 from donaldsharp/coverity_stole_my_sanity
authorRafael Zalamena <rzalamena@users.noreply.github.com>
Sun, 5 May 2019 11:48:40 +0000 (08:48 -0300)
committerGitHub <noreply@github.com>
Sun, 5 May 2019 11:48:40 +0000 (08:48 -0300)
Coverity stole my sanity


Trivial merge