Hello, Could someone please merge my rulesets branch into the main development one?
It's on github here: https://github.com/jpds/https-everywhere/commits/master And a diff from the main branch can be found here: https://github.com/pde/https-everywhere/pull/1/files Thanks, Jonathan
