Message304256 
            > I think we need to document behavior of stdin somewhere, because current the sys.stdin documentation states: > >> When interactive, standard streams are line-buffered. Otherwise, they >> are block-buffered like regular text files. You can override this value >> with the -u command-line option. The last sentence is wrong and should be removed from sys.stdin documentation, no?  |      |
  | Date |  User |  Action |  Args |    | 2017-10-12 15:27:40 | vstinner | set | recipients: + vstinner, ncoghlan, gdr@garethrees.org, berker.peksag, serhiy.storchaka, eryksun |   | 2017-10-12 15:27:40 | vstinner | set | messageid: <1507822060.56.0.213398074469.issue28647@psf.upfronthosting.co.za> |   | 2017-10-12 15:27:40 | vstinner | link | issue28647 messages |   | 2017-10-12 15:27:40 | vstinner | create |  |        |