<span style="font-family: Arial; font-size: 13px;"><span class="person"><span class="secondary">Please pull from<br><br>git://github.com/auto830455/https-everywhere.git<br><br>It contains the following commits:<br><br>3f3cacd Reddit no longer uses pay.reddit.com<br>7e3873a Catch more subdomains, and ajax calls at rejseplanen.dk<br>1e1c4c3 Add rule for jobindex.dk<br>28ab01d S7.addthis.com is already included in AddThis, so remove it<br><br>You might skip the first one (Reddit), and pull from commit </span></span><span class="person"><span class="secondary">7e3873a.<br>Those last three are bug fixes.<br></span></span><span class="person"><span class="secondary"><br>Reddit has changed a lot, and I have made it work almost completely.<br><br>$ git diff 28ab01d^ --stat<br> src/chrome/content/rules/Jobindex.dk.xml    |   10 ++++++++<br> src/chrome/content/rules/Reddit+.xml        |   11 ---------<br> src/chrome/content/rules/Reddit.xml         |   33 ++++++++++++++++----------<br> src/chrome/content/rules/Rejseplanen.dk.xml |    5 ++-<br> src/chrome/content/rules/S7.addthis.com.xml |    5 ----<br> 5 files changed, 33 insertions(+), 31 deletions(-)<br><br><br>Peter<br></span></span></span>