]> git.puffer.fish Git - mirror/frr.git/commit
Merge pull request #1980 from donaldsharp/tools_frr
authorRuss White <russ@riw.us>
Fri, 30 Mar 2018 14:36:34 +0000 (10:36 -0400)
committerGitHub <noreply@github.com>
Fri, 30 Mar 2018 14:36:34 +0000 (10:36 -0400)
commita7f38c2512a89e73730e56820cf204311ab4d91c
tree0c51dfbc8bb2c2fc72d70ef8045642136400631d
parentfdbbf02a05a4325c27bfe34904625d3e6db2550f
parentac654d7b9db6ba5b9ab933be44890e2136318405
Merge pull request #1980 from donaldsharp/tools_frr

tools: Cleanup shutdown