]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #9756 from donaldsharp/unchecked
authorIgor Ryzhov <idryzhov@gmail.com>
Thu, 7 Oct 2021 22:08:03 +0000 (01:08 +0300)
committerGitHub <noreply@github.com>
Thu, 7 Oct 2021 22:08:03 +0000 (01:08 +0300)

Trivial merge