Merge branch 'devel' of gitlab.univ-nantes.fr:glicid-public/guix-glicid into devel

This commit is contained in:
Jean-François GUILLAUME 2021-10-27 17:04:22 +02:00
commit 4b10b1d967

Diff content is not available