| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2020-11-04 19:56:16 | erlendaasland | set | status: merged -> closed |
| 2020-11-04 19:31:54 | erlendaasland | set | status: open -> merged |
| 2020-11-04 14:43:21 | erlendaasland | link | issue1635741 pull_requests |
| 2020-11-04 14:43:21 | erlendaasland | create | |
