]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #3315 from qlyoung/doc-dev-fixes
authorLou Berger <lberger@labn.net>
Tue, 13 Nov 2018 07:54:11 +0000 (14:54 +0700)
committerGitHub <noreply@github.com>
Tue, 13 Nov 2018 07:54:11 +0000 (14:54 +0700)
Doc dev fixes


Trivial merge