[HTTPS-E Rulesets] 4.0development.15 released

[Yan Zhu]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

**Important note: No new rulesets will be merged into master
(development) until April 2014 in preparation for the stable 4.0
release. For more details, see this other email:
https://lists.eff.org/pipermail/https-everywhere-rules/2014-February/001905.html**

HTTPS Everywhere 4.0development.15 has been released:

https://www.eff.org/files/https-everywhere-4.0development.15.xpi

- From the Changelog:

4.0development.15                           (2014-02-??)
 * Replace the single XML ruleset library with an sqlite database of
rulesets
   that are loaded on demand
   - reduces startup time by a factor of 10-20:
      https://trac.torproject.org/projects/tor/ticket/10174
   - reduces RAM usage
https://trac.torproject.org/projects/tor/ticket/4804
   - Is scalable: https://trac.torproject.org/projects/tor/ticket/6118
   Further analysis in this thread:

https://lists.eff.org/pipermail/https-everywhere/2014-January/001919.html
 * Implement a cleanup case to recover from some Observatory UI code
bugs that
   would leave the Observatory off incorrectly.
   https://trac.torproject.org/projects/tor/ticket/10728
 * Fix observatory - private browsing mode interaction
   https://trac.torproject.org/projects/tor/ticket/10208
 * Ship 848 new rulesets
-----BEGIN PGP SIGNATURE-----

iQEcBAEBCgAGBQJS8sQkAAoJENC7YDZD/dns15QH/iqOjKQnnE7g9MWexvI3AeLi
upm1WKiBr1gM57j1VS966BVv7Q0lbKRbeKzesGEficDel6KzBH2p3J490r3ZdyhT
FMbGWlEaM5nZ4fcYdBegSop1XIrHr5rpvKQmKuthmgPJaax3G318JHLMA239cGJH
aIgRaWEn+SJXEPYD/80b3Zi+8zno0jYW7eWBtzLdahiAvMZeikUXu73ou+eYQCEG
jNBiD/YDN38H38ry6NzC8wJGGotvYV8i+hOvzPJWv4PRDRZJZpTLP7BVl758/Qog
9MQasaJQSr0opJv6wmixRRa+MBD5ILv4ltLN/YbSCCBWKOHn9LKQzopkRHt91Lg=
=kVPu
-----END PGP SIGNATURE-----