#29531: Remove accidentally pushed branch `bug29145_029` from tor.git ---------------------------------------------+---------------------------- Reporter: nickm | Owner: tor-gitadm Type: task | Status: closed Priority: Medium | Milestone: Component: Internal Services/Service - git | Version: Severity: Normal | Resolution: fixed Keywords: | Actual Points: Parent ID: | Points: Reviewer: | Sponsor: ---------------------------------------------+---------------------------- Changes (by irl):
* status: new => closed * resolution: => fixed Comment: Done. Grepping our config for "tor" is not easy. -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/29531#comment:1> 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