]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #8540 from donaldsharp/kill_them_all
authorRafael Zalamena <rzalamena@users.noreply.github.com>
Mon, 26 Apr 2021 11:52:38 +0000 (11:52 +0000)
committerGitHub <noreply@github.com>
Mon, 26 Apr 2021 11:52:38 +0000 (11:52 +0000)
tests: Remove kill_mininet_router_process


Trivial merge