Pull Request
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-10-28 00:22:47 | serhiy.storchaka | set | status: open -> merged |
| 2017-10-27 03:23:03 | serhiy.storchaka | set | status: closed -> open |
| 2017-10-27 03:23:00 | serhiy.storchaka | set | status: open -> closed |
| 2017-10-24 13:23:25 | serhiy.storchaka | link | issue31860 pull_requests |
| 2017-10-24 13:23:25 | serhiy.storchaka | create | |