Dependency upgrade

changed milestone to %M10 - Release 0.13

added no-detached-pipeline label

assigned to @divido

enabled an automatic merge when the pipeline for f68a4658 succeeds

merged

mentioned in commit 506cda77

mentioned in merge request !279 (merged)