]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #4391 from ton31337/feature/delete_prefix_list_by_sequence_number
authorDonald Sharp <sharpd@cumulusnetworks.com>
Tue, 28 May 2019 20:14:52 +0000 (16:14 -0400)
committerGitHub <noreply@github.com>
Tue, 28 May 2019 20:14:52 +0000 (16:14 -0400)
plist: Delete prefix-list by sequence number


Trivial merge