]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #6760 from opensourcerouting/build-assorted-20200717
authorQuentin Young <qlyoung@users.noreply.github.com>
Fri, 17 Jul 2020 16:42:05 +0000 (12:42 -0400)
committerGitHub <noreply@github.com>
Fri, 17 Jul 2020 16:42:05 +0000 (12:42 -0400)
build & gcc-frr-format: assorted bits batch


Trivial merge