]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #4442 from opensourcerouting/libtool-doc
authorDonald Sharp <sharpd@cumulusnetworks.com>
Sun, 2 Jun 2019 22:54:24 +0000 (18:54 -0400)
committerGitHub <noreply@github.com>
Sun, 2 Jun 2019 22:54:24 +0000 (18:54 -0400)
doc: add libtool note


Trivial merge