]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #6577 from rtrlib/2020-06-12-master-fixes
authorPhilippe Guibert <philippe.guibert@6wind.com>
Wed, 17 Jun 2020 07:09:02 +0000 (09:09 +0200)
committerGitHub <noreply@github.com>
Wed, 17 Jun 2020 07:09:02 +0000 (09:09 +0200)
bgpd: rpki fixes (master)


Trivial merge