History | |||
---|---|---|---|
Date | User | Action | Args |
2017-11-16 00:28:27 | python-dev | set | status: open -> merged |
2017-11-15 22:14:39 | python-dev | link | issue32034 pull_requests |
2017-11-15 22:14:39 | python-dev | create |
History | |||
---|---|---|---|
Date | User | Action | Args |
2017-11-16 00:28:27 | python-dev | set | status: open -> merged |
2017-11-15 22:14:39 | python-dev | link | issue32034 pull_requests |
2017-11-15 22:14:39 | python-dev | create |