[tor-commits] [torspec/master] prop250: Close proposal after upstream merge