]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #4423 from ton31337/feature/delete_prefix_list_by_sequence_number_7.1
authorDonald Sharp <sharpd@cumulusnetworks.com>
Thu, 30 May 2019 13:01:54 +0000 (09:01 -0400)
committerGitHub <noreply@github.com>
Thu, 30 May 2019 13:01:54 +0000 (09:01 -0400)
plist: [7.1] Delete prefix-list by sequence number


Trivial merge