]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12826 from FRRouting/mergify/bp/dev/8.5/pr-12817
authorDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 17 Feb 2023 12:27:56 +0000 (14:27 +0200)
committerGitHub <noreply@github.com>
Fri, 17 Feb 2023 12:27:56 +0000 (14:27 +0200)
some missed upstream commits (backport #12817)


Trivial merge