[tor-commits] [oonib/master] Fixes highlighted by the review of @bassosimone