]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #8214 from chiragshah6/mdev
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Tue, 16 Mar 2021 07:28:03 +0000 (09:28 +0200)
committerGitHub <noreply@github.com>
Tue, 16 Mar 2021 07:28:03 +0000 (09:28 +0200)
tools: frr-reload refine error handling


Trivial merge