]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #16551 from idryzhov/distrib-del
authorDonald Sharp <donaldsharp72@gmail.com>
Sat, 10 Aug 2024 23:50:26 +0000 (19:50 -0400)
committerGitHub <noreply@github.com>
Sat, 10 Aug 2024 23:50:26 +0000 (19:50 -0400)
lib: fix distribute-list deletion


Trivial merge