]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #15184 from donaldsharp/zebra_touchups
authorDonatas Abraitis <donatas@opensourcerouting.org>
Sun, 21 Jan 2024 15:02:26 +0000 (17:02 +0200)
committerGitHub <noreply@github.com>
Sun, 21 Jan 2024 15:02:26 +0000 (17:02 +0200)
Zebra touchups


Trivial merge