[tor-dev] Trac upgraded to 0.12.3