]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #10538 from FRRouting/mergify/bp/dev/8.2/pr-10445
authorJafar Al-Gharaibeh <jafar@atcorp.com>
Wed, 9 Feb 2022 03:22:36 +0000 (21:22 -0600)
committerGitHub <noreply@github.com>
Wed, 9 Feb 2022 03:22:36 +0000 (21:22 -0600)
tools: Stop disabled daemons when doing reload (backport #10445)


Trivial merge