]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #12436 from donaldsharp/general_use
authorDonatas Abraitis <donatas@opensourcerouting.org>
Tue, 6 Dec 2022 06:51:39 +0000 (08:51 +0200)
committerGitHub <noreply@github.com>
Tue, 6 Dec 2022 06:51:39 +0000 (08:51 +0200)
General use


Trivial merge