URL PR 3523
Status merged
Title bpo-31233: socketserver.ThreadingMixIn.server_close()
History
Date User Action Args
2017-09-13 08:47:24vstinnersetstatus: open -> merged
2017-09-13 00:38:24vstinnersettitle: [WIP] bpo-31233: socketserver.ThreadingMixIn.server_close() -> bpo-31233: socketserver.ThreadingMixIn.server_close()
2017-09-13 00:31:31vstinnersettitle: bpo-31233: socketserver.ThreadingMixIn.server_close() -> [WIP] bpo-31233: socketserver.ThreadingMixIn.server_close()
2017-09-13 00:16:16vstinnerlinkissue31233 pull_requests
2017-09-13 00:16:16vstinnercreate