[tor-commits] [goptlib/master] Merge remote-tracking branch 'yawning/bug12535_v2'