]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #9855 from donaldsharp/ospf_fini
authorDavid Lamparter <equinox@opensourcerouting.org>
Wed, 20 Oct 2021 17:19:43 +0000 (19:19 +0200)
committerGitHub <noreply@github.com>
Wed, 20 Oct 2021 17:19:43 +0000 (19:19 +0200)

Trivial merge