Unverified Commit d7658413 authored by Sebastian Schüpbach's avatar Sebastian Schüpbach
Browse files

fix several small bugs


Signed-off-by: Sebastian Schüpbach's avatarSebastian Schüpbach <sebastian.schuepbach@unibas.ch>
parent c7e2dd06
Pipeline #17555 passed with stages
in 4 minutes and 5 seconds