Pull Request
|
| Date |
User |
Action |
Args |
| 2019-05-13 14:11:08 | gvanrossum | set | status: merged -> closed |
| 2019-05-13 12:31:32 | gvanrossum | set | status: open -> merged |
| 2019-05-05 20:23:46 | gvanrossum | set | title: bpo-36807 When saving a file in IDLE, call flush and fsync -> bpo-36807: When saving a file in IDLE, call flush and fsync |
| 2019-05-05 20:23:38 | gvanrossum | set | title: bpo-36807 When saving a file, call flush and fsync -> bpo-36807 When saving a file in IDLE, call flush and fsync |
| 2019-05-05 20:23:02 | gvanrossum | link | issue36807 pull_requests |
| 2019-05-05 20:23:02 | gvanrossum | create | |
|
