]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #7816 from pjdruddy/revert_labelmanager_statics
authorRenato Westphal <renato@opensourcerouting.org>
Fri, 8 Jan 2021 23:57:25 +0000 (20:57 -0300)
committerGitHub <noreply@github.com>
Fri, 8 Jan 2021 23:57:25 +0000 (20:57 -0300)
Revert labelmanager statics


Trivial merge