]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #11684 from donaldsharp/cleanup_for_dev_builds
authorRuss White <russ@riw.us>
Tue, 2 Aug 2022 13:02:55 +0000 (09:02 -0400)
committerGitHub <noreply@github.com>
Tue, 2 Aug 2022 13:02:55 +0000 (09:02 -0400)
Cleanup for dev builds


Trivial merge