]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #1868 from ajones-rvbd/ajones-for-upstream
authorDonald Sharp <sharpd@cumulusnetworks.com>
Mon, 12 Mar 2018 18:09:41 +0000 (14:09 -0400)
committerGitHub <noreply@github.com>
Mon, 12 Mar 2018 18:09:41 +0000 (14:09 -0400)
docs/install.texi: document --enable-numeric-version


Trivial merge