]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #8040 from donaldsharp/fix_distribute
authorIgor Ryzhov <iryzhov@nfware.com>
Wed, 5 May 2021 00:40:39 +0000 (03:40 +0300)
committerGitHub <noreply@github.com>
Wed, 5 May 2021 00:40:39 +0000 (03:40 +0300)

Trivial merge