summaryrefslogtreecommitdiff
path: root/proto/rpki
diff options
context:
space:
mode:
authorOndrej Zajicek (work) <santiago@crfreenet.org>2017-01-24 15:35:38 +0100
committerOndrej Zajicek (work) <santiago@crfreenet.org>2017-01-24 15:35:38 +0100
commitda65a3d898fde0ce567782d86919a66e29916ed7 (patch)
tree44a35b574713468284d43ac0127080ad52fcd15a /proto/rpki
parentf6e6c3b5a5997ffc67d96785bbde76bcec072890 (diff)
Filter: Fix missing case for !~ operator
Thanks to Vincent Bernat for the patch.
Diffstat (limited to 'proto/rpki')
0 files changed, 0 insertions, 0 deletions