Merge branch 'channel' into 'main'

Update 2 files

See merge request glicid-public/guix-glicid!345
This commit is contained in:
Jean-François GUILLAUME 2023-11-10 15:28:27 +00:00
commit 7ce8902106