This fixes #728 (closed) for v4
changed milestone to %4.0
enabled an automatic merge when the pipeline for 8d95d19d succeeds
merged