]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #1120 from donaldsharp/branch_million
authorMartin Winter <mwinter@opensourcerouting.org>
Wed, 11 Oct 2017 07:36:07 +0000 (00:36 -0700)
committerGitHub <noreply@github.com>
Wed, 11 Oct 2017 07:36:07 +0000 (00:36 -0700)
configure: Have --enable-dev turn on better debugging.


Trivial merge