Pull Request - Python tracker
Pull Request
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2019-11-20 16:34:42 | vstinner | set | status: open -> merged |
| 2019-11-20 14:59:27 | vstinner | link | issue38858 pull_requests |
| 2019-11-20 14:59:27 | vstinner | create | |
Pull Request
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2019-11-20 16:34:42 | vstinner | set | status: open -> merged |
| 2019-11-20 14:59:27 | vstinner | link | issue38858 pull_requests |
| 2019-11-20 14:59:27 | vstinner | create | |