]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #6787 from toreanderson/master
authorDavid Lamparter <equinox@opensourcerouting.org>
Tue, 28 Jul 2020 13:09:15 +0000 (15:09 +0200)
committerGitHub <noreply@github.com>
Tue, 28 Jul 2020 13:09:15 +0000 (15:09 +0200)
tools: do not silently ignore errors when loading config during startup


Trivial merge