On Sat, Oct 24, 2020 at 10:34:24AM +0200, Caspar Schutijser wrote: > www/tor-browser/https-everywhere can be removed since it is now part > of the www/tor-browser/browser port. The diff below makes that happen. > I went with "outdated and/or no longer required by other ports" as the > reason for removal; it is indeed no longer required by > www/tor-browser/browser. You can always add a new reason to quirks, they don't cost us anything!
> I think this is the first time I'm sending a diff for the removal of > a port. I think it is correct. www/tor-browser/Makefile needs unhooking as well, OK kn with that.