]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12251 from donaldsharp/various_and_sundry
authorDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 4 Nov 2022 12:03:50 +0000 (14:03 +0200)
committerGitHub <noreply@github.com>
Fri, 4 Nov 2022 12:03:50 +0000 (14:03 +0200)
Various and sundry


Trivial merge