Kristiaan Van den Eynde pushed to project branch 3533155-backport-3 at Issue forks / group-3533155

Kristiaan Van den Eynde (aad3d052) at 01 Jul 10:45

Remove obsolete @covers

... and 3 more commits