]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #10498 from FRRouting/mergify/bp/stable/8.0/pr-10473
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Sun, 6 Feb 2022 13:15:37 +0000 (15:15 +0200)
committerGitHub <noreply@github.com>
Sun, 6 Feb 2022 13:15:37 +0000 (15:15 +0200)
ospfd: Core in ospf_if_down during shutdown. (backport #10473)


Trivial merge