]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #10642 from FRRouting/mergify/bp/dev/8.2/pr-10621
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Wed, 23 Feb 2022 19:40:19 +0000 (21:40 +0200)
committerGitHub <noreply@github.com>
Wed, 23 Feb 2022 19:40:19 +0000 (21:40 +0200)
Cov fun (backport #10621)


Trivial merge