]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #2721 from pguibert6WIND/doc_compile_issue
authorQuentin Young <qlyoung@users.noreply.github.com>
Mon, 30 Jul 2018 20:21:22 +0000 (13:21 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Jul 2018 20:21:22 +0000 (13:21 -0700)
doc: fix misc documentation compilation error


Trivial merge