]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #885 from bingen/fix_debug_directive
authorRuss White <russ@riw.us>
Tue, 1 Aug 2017 11:37:01 +0000 (07:37 -0400)
committerGitHub <noreply@github.com>
Tue, 1 Aug 2017 11:37:01 +0000 (07:37 -0400)
Fix debug directive


Trivial merge