#29938: pubsub: coverity sees a null pointer deref in lint_message_consistency (CID 1444257) --------------------------+------------------------------------ Reporter: nickm | Owner: nickm Type: defect | Status: closed Priority: Medium | Milestone: Tor: 0.4.1.x-final Component: Core Tor/Tor | Version: Tor: unspecified Severity: Normal | Resolution: fixed Keywords: | Actual Points: 0.1 Parent ID: | Points: 0.1 Reviewer: catalyst | Sponsor: Sponsor31-can --------------------------+------------------------------------ Changes (by teor):
* status: merge_ready => closed * points: => 0.1 * resolution: => fixed * version: => Tor: unspecified Comment: Merged to master. -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/29938#comment:5> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online
_______________________________________________ tor-bugs mailing list tor-bugs@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs