]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #1683 from donaldsharp/doc_debian
authorMartin Winter <mwinter@opensourcerouting.org>
Tue, 13 Feb 2018 16:39:39 +0000 (08:39 -0800)
committerGitHub <noreply@github.com>
Tue, 13 Feb 2018 16:39:39 +0000 (08:39 -0800)
doc: Fix Debian 9 build instructions


Trivial merge