assigned to @spape
By Simon Oehrl on 2021-11-11T14:17:37 (imported from GitLab)
Looks good. If it works, I am fine with it.
By Sebastian Pape on 2021-11-17T13:40:18 (imported from GitLab)
approved this merge request
By Sebastian Pape on 2021-11-17T13:40:22 (imported from GitLab)
mentioned in commit 24b82b2c
By Jonathan Ehret on 2021-11-22T10:59:25 (imported from GitLab)
