]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #14237 from Keelan10/pbrd-map-leak
authorRuss White <russ@riw.us>
Tue, 12 Sep 2023 15:28:20 +0000 (11:28 -0400)
committerGitHub <noreply@github.com>
Tue, 12 Sep 2023 15:28:20 +0000 (11:28 -0400)
pbrd: Free Memory in pbr_map_delete


Trivial merge