]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #11265 from opensourcerouting/fix/ssh_config_rpki
authorDonald Sharp <donaldsharp72@gmail.com>
Tue, 24 May 2022 16:05:14 +0000 (12:05 -0400)
committerGitHub <noreply@github.com>
Tue, 24 May 2022 16:05:14 +0000 (12:05 -0400)
bgpd: Put ssh_config->port as integer, not as string in RPKI code


Trivial merge