[tor-bugs] #6535 [Tor Sysadmin Team]: Please create account for Michael Prokop

[Tor Bug Tracker & Wiki]

#6535: Please create account for Michael Prokop
-------------------------------+--------------------------------------------
 Reporter:  weasel             |          Owner:     
     Type:  defect             |         Status:  new
 Priority:  normal             |      Milestone:     
Component:  Tor Sysadmin Team  |        Version:     
 Keywords:                     |         Parent:     
   Points:                     |   Actualpoints:     
-------------------------------+--------------------------------------------

Comment(by arma):

 Having continuous-integration working is worthwhile. If you think this
 will help us get there, sounds good.

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/6535#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online