]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #3058 from pacovn/Coverity_1399484_Dereference_null_return_value
authorDonald Sharp <sharpd@cumulusnetworks.com>
Thu, 20 Sep 2018 17:16:30 +0000 (13:16 -0400)
committerGitHub <noreply@github.com>
Thu, 20 Sep 2018 17:16:30 +0000 (13:16 -0400)
tools: null check (Coverity 1399484)


Trivial merge