]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12967 from pguibert6WIND/show_zebra_mpls_empty
authorDonald Sharp <donaldsharp72@gmail.com>
Fri, 10 Mar 2023 22:53:46 +0000 (17:53 -0500)
committerGitHub <noreply@github.com>
Fri, 10 Mar 2023 22:53:46 +0000 (17:53 -0500)

Trivial merge