]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #14149 from donaldsharp/cleanup_bad_commands
authorDonatas Abraitis <donatas@opensourcerouting.org>
Sun, 6 Aug 2023 17:10:23 +0000 (20:10 +0300)
committerGitHub <noreply@github.com>
Sun, 6 Aug 2023 17:10:23 +0000 (20:10 +0300)
Cleanup bad commands


Trivial merge