]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12671 from vfreex/babel-fix-terminal
authorDonatas Abraitis <donatas@opensourcerouting.org>
Sat, 21 Jan 2023 22:02:05 +0000 (00:02 +0200)
committerGitHub <noreply@github.com>
Sat, 21 Jan 2023 22:02:05 +0000 (00:02 +0200)
babeld: Fix --terminal option


Trivial merge