branch wip-riscv-bootstrap1 created (now 684a8ddc2d)

[guix-commits]

guix_mirror_bot pushed a change to branch wip-riscv-bootstrap1
in repository guix.

      at 684a8ddc2d fixup gmp-boot1

No new revisions were added by this update.