]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #13775 from mobash-rasool/fixes2
authorDavid Lamparter <equinox@opensourcerouting.org>
Tue, 13 Jun 2023 10:50:06 +0000 (12:50 +0200)
committerGitHub <noreply@github.com>
Tue, 13 Jun 2023 10:50:06 +0000 (12:50 +0200)

Trivial merge