]> git.puffer.fish Git - mirror/frr.git/commitdiff
projects / mirror / frr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: edd4a85 efdb5f1)
Merge pull request #15201 from louis-6wind/fix-rpki-coverity
authorDonatas Abraitis <donatas@opensourcerouting.org>
Tue, 23 Jan 2024 18:52:53 +0000 (20:52 +0200)
committerGitHub <noreply@github.com>
Tue, 23 Jan 2024 18:52:53 +0000 (20:52 +0200)
bgpd: fix RPKI coverity scanner issues


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.