]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #2618 from pacovn/PVS-Studio_library_warnings
authorQuentin Young <qlyoung@users.noreply.github.com>
Fri, 6 Jul 2018 15:23:29 +0000 (11:23 -0400)
committerGitHub <noreply@github.com>
Fri, 6 Jul 2018 15:23:29 +0000 (11:23 -0400)
pimd: standard library usage (PVS-Studio)


Trivial merge