merged
By Grzegorz Rola on 2019-06-27T07:47:19 (imported from GitLab)
mentioned in commit 3d11d9e2
By Grzegorz Rola on 2019-06-27T07:47:19 (imported from GitLab)
assigned to @Dyszczyk and unassigned @grola
By Grzegorz Rola on 2019-06-27T07:48:50 (imported from GitLab)