]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12686 from opensourcerouting/debian-sync-20230124
authorDonald Sharp <donaldsharp72@gmail.com>
Tue, 31 Jan 2023 17:37:39 +0000 (12:37 -0500)
committerGitHub <noreply@github.com>
Tue, 31 Jan 2023 17:37:39 +0000 (12:37 -0500)
debian: synchronize/fold back debian changes


Trivial merge