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