]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #13891 from opensourcerouting/fix/ignore_errors_from_frr-reload.py
authorDonald Sharp <donaldsharp72@gmail.com>
Wed, 12 Jul 2023 19:11:58 +0000 (15:11 -0400)
committerGitHub <noreply@github.com>
Wed, 12 Jul 2023 19:11:58 +0000 (15:11 -0400)
tools: Ignore errors for frr reload stuff


Trivial merge