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

2 jobs for master in 15 minutes and 11 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #11488
fp
build-coq.8.6.1

00:15:11

passed #11487
fp
build-coq.8.7.2

00:14:12