]> git.puffer.fish Git - mirror/frr.git/commit
Merge pull request #14624 from FRRouting/mergify/bp/dev/9.1/pr-14618
authorDonald Sharp <donaldsharp72@gmail.com>
Thu, 19 Oct 2023 20:02:43 +0000 (16:02 -0400)
committerGitHub <noreply@github.com>
Thu, 19 Oct 2023 20:02:43 +0000 (16:02 -0400)
commita0cfc4fc75e642ac0c109d5e141dc5b3cbe5a1cb
treea5b4006656e0fd9b8de9a79cee48527608676857
parent433d91faa77da14e3cc2ac276a0d5f6ca30fc145
parent1fe38b992874ef0ec3d1459bb7459035b9dfce67
Merge pull request #14624 from FRRouting/mergify/bp/dev/9.1/pr-14618

watchfrr: Extend ignore option to daemon being killed (backport #14618)