Pull Request
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2018-11-26 16:09:19 | vstinner | set | status: open -> merged |
| 2018-11-23 16:17:57 | vstinner | link | issue35134 pull_requests |
| 2018-11-23 16:17:57 | vstinner | create | |
Pull Request - Python tracker
Pull Request - Python tracker
Pull Request
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2018-11-26 16:09:19 | vstinner | set | status: open -> merged |
| 2018-11-23 16:17:57 | vstinner | link | issue35134 pull_requests |
| 2018-11-23 16:17:57 | vstinner | create | |