Commit 629187f1 authored by Dan Frumin's avatar Dan Frumin

Merge branch 'master' of gitlab.mpi-sws.org:dfrumin/logrel-conc

parents bf38948f a16818ea
Pipeline #8371 passed with stage
in 15 minutes and 11 seconds