Merge branch 'version-1.2.0' of ssh://git.sv.gnu.org/srv/git/guix into version-1.2.0
authorLudovic Courtès <ludo@gnu.org>
Fri, 13 Nov 2020 16:02:49 +0000 (17:02 +0100)
committerLudovic Courtès <ludo@gnu.org>
Fri, 13 Nov 2020 16:02:49 +0000 (17:02 +0100)

Trivial merge