]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #3480 from opensourcerouting/master-kill-empty-lib
authorDonald Sharp <sharpd@cumulusnetworks.com>
Fri, 14 Dec 2018 14:59:54 +0000 (09:59 -0500)
committerGitHub <noreply@github.com>
Fri, 14 Dec 2018 14:59:54 +0000 (09:59 -0500)
[master] kill empty libfrrfpm_pb


Trivial merge