This fixes #728 (closed) for v4
Merge request pipeline #475841 passed
Merge request pipeline passed for 8d95d19d 8 months ago
Merge details
Closed #728 (closed)
Pipeline #475855 passed
Pipeline passed for 8d95d19d on master 8 months ago
changed milestone to %4.0
enabled an automatic merge when the pipeline for 8d95d19d succeeds
merged