Re: [tor-bugs] #31479 [Internal Services/Service - git]: Please delete branch ticket31476 from tor.git repository

2019-10-24 Thread Tor Bug Tracker & Wiki
#31479: Please delete branch ticket31476 from tor.git repository -+ Reporter: nickm| Owner: tor-gitadm Type: task | Status: closed Priority: M

Re: [tor-bugs] #31479 [Internal Services/Service - git]: Please delete branch ticket31476 from tor.git repository

2019-10-09 Thread Tor Bug Tracker & Wiki
#31479: Please delete branch ticket31476 from tor.git repository -+ Reporter: nickm| Owner: tor-gitadm Type: task | Status: new Priority: Medi

[tor-bugs] #31479 [Internal Services/Service - git]: Please delete branch ticket31476 from tor.git repository

2019-08-21 Thread Tor Bug Tracker & Wiki
#31479: Please delete branch ticket31476 from tor.git repository -+ Reporter: nickm| Owner: tor-gitadm Type: task | Status: new Priority: