Closed JakobEdding closed 6 years ago
Necessary before being able to merge dev into master
Coverage remained the same at 100.0% when pulling ff08686f5cb6ac9ca404eb038b711fd785e1ad46 on merge-master-into-dev into f56b1806835207535b2cbe6dae4738c3d3ab2714 on dev.
Necessary before being able to merge dev into master