security/tor-devel: update 0.3.0.7 -> 0.3.1.3-alpha
- fixes two remote DoS vulnerabilities related to hidden services https://lists.torproject.org/pipermail/tor-talk/2017-June/043244.html
- disabled the new compression options for now, since at least one of them has a bug, see here: https://trac.torproject.org/projects/tor/ticket/22550
PR: 219864
Submitted by: Yuri Victorovich <yuri@rawbw.com> (maintainer)
MFH: 2017Q2
Relnotes: https://gitweb.torproject.org/tor.git/plain/ReleaseNotes?id=tor-0.3.1.3-alpha
Security: CVE-2017-0375, CVE-2017-0376