Commit 5758b8cd authored by Ralf Jung's avatar Ralf Jung

Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coq

parents 16240e35 fe82f3a4
Pipeline #2620 passed with stage
in 8 minutes and 55 seconds