]> git.proxmox.com Git - mirror_frr.git/commitdiff
projects / mirror_frr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5a4ac9d 9ee2f57)
Merge pull request #4436 from donaldsharp/tools_frr_flush
authorDavid Lamparter <equinox@diac24.net>
Mon, 3 Jun 2019 13:53:07 +0000 (15:53 +0200)
committerGitHub <noreply@github.com>
Mon, 3 Jun 2019 13:53:07 +0000 (15:53 +0200)
tools: On shutdown no need to flush from tools/frr.in script


Trivial merge
FRRouting mirror