[tor-commits] [tor/master] practracker: Remove problemvault global.