approved this merge request
By Piotr Po on 2019-09-19T21:23:25 (imported from GitLab)
assigned to @Dyszczyk and unassigned @potreb
By Piotr Po on 2019-09-19T21:23:56 (imported from GitLab)
merged
By Dyszczo on 2019-09-20T07:28:57 (imported from GitLab)
mentioned in commit 41d1326d
By Dyszczo on 2019-09-20T07:28:57 (imported from GitLab)