Commit 59f5f7d1 authored by Pierre-antoine Comby's avatar Pierre-antoine Comby

Merge branch 'master' of gitlab.crans.org:bde/nk20

parents 0296686e b44e930c
Pipeline #2033 failed with stage
in 2 minutes and 40 seconds