]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #3120 from opensourcerouting/remove-list-delete
authorLou Berger <lberger@labn.net>
Tue, 2 Oct 2018 14:03:46 +0000 (10:03 -0400)
committerGitHub <noreply@github.com>
Tue, 2 Oct 2018 14:03:46 +0000 (10:03 -0400)
lib: remove deprecated list_delete()/list_free()


Trivial merge