]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #11949 from donaldsharp/plist_deletion_failure
authorDonatas Abraitis <donatas@opensourcerouting.org>
Thu, 15 Sep 2022 18:32:37 +0000 (11:32 -0700)
committerGitHub <noreply@github.com>
Thu, 15 Sep 2022 18:32:37 +0000 (11:32 -0700)
lib: Fix skip of every other plist deletion


Trivial merge