]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #2553 from opensourcerouting/release_proc
authorQuentin Young <qlyoung@users.noreply.github.com>
Tue, 10 Jul 2018 19:39:49 +0000 (15:39 -0400)
committerGitHub <noreply@github.com>
Tue, 10 Jul 2018 19:39:49 +0000 (15:39 -0400)
doc: Add document for Release Build by maintainer


Trivial merge