]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #9177 from FRRouting/mergify/bp/stable/8.0/pr-8905
authorMartin Winter <mwinter@opensourcerouting.org>
Sun, 25 Jul 2021 17:58:27 +0000 (19:58 +0200)
committerGitHub <noreply@github.com>
Sun, 25 Jul 2021 17:58:27 +0000 (19:58 +0200)
Isis argv (backport #8905)


Trivial merge