Commit 8b60d031 authored by Richard's avatar Richard

Merge branch 'develop' of ssh://gitlab.kwant-project.org:443/works-on-my-machine/zesje into develop

parents 9203d4d1 d8ae8760
Pipeline #18743 passed with stages
in 4 minutes and 17 seconds