]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #13879 from donaldsharp/fix_check_ping_again
authorDonatas Abraitis <donatas@opensourcerouting.org>
Thu, 29 Jun 2023 19:57:26 +0000 (22:57 +0300)
committerGitHub <noreply@github.com>
Thu, 29 Jun 2023 19:57:26 +0000 (22:57 +0300)
tests: Fix broken check_ping run_and_expect semantics


Trivial merge