Commits on Oct 31, 2018

  1. Remove IPF (IPFILTER) also

    @wblock
    wblock committed Oct 31, 2018
    5abe205