]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #13543 from donaldsharp/clear_up_clear_command
authorChristian Hopps <chopps@labn.net>
Wed, 17 May 2023 17:41:43 +0000 (13:41 -0400)
committerGitHub <noreply@github.com>
Wed, 17 May 2023 17:41:43 +0000 (13:41 -0400)
Clear up clear command


Trivial merge