]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #3073 from donaldsharp/pid_cleanup
authorRuss White <russ@riw.us>
Mon, 24 Sep 2018 14:47:38 +0000 (10:47 -0400)
committerGitHub <noreply@github.com>
Mon, 24 Sep 2018 14:47:38 +0000 (10:47 -0400)
Pid cleanup


Trivial merge