]> git.proxmox.com Git - mirror_frr.git/commit
Merge pull request #12828 from FRRouting/mergify/bp/dev/8.5/pr-12734
authorIgor Ryzhov <iryzhov@nfware.com>
Fri, 17 Feb 2023 10:10:18 +0000 (12:10 +0200)
committerGitHub <noreply@github.com>
Fri, 17 Feb 2023 10:10:18 +0000 (12:10 +0200)
commit6af8095c42067896365d59f2338880a5304ff5bb
tree34e3cc951899af77ddf959654e22a703fc63be6d
parent68c8001d418e4e43c81cc32d1958a8ea089cc67d
parent6df8da715bcc49c32f624002210f3599c577852c
Merge pull request #12828 from FRRouting/mergify/bp/dev/8.5/pr-12734

lib: Fix non-use of option (backport #12734)