Merge pull request #1593 from netgroup-polito/bpf_prog_table_delete_element
authoryonghong-song <ys114321@gmail.com>
Fri, 16 Feb 2018 15:15:47 +0000 (07:15 -0800)
committerGitHub <noreply@github.com>
Fri, 16 Feb 2018 15:15:47 +0000 (07:15 -0800)
Allow to delete elements from prog tables


Trivial merge