Ludovic Courtès <ludo@gnu.org> writes:

> Hi,
>
> Marius Bakke <mbakke@fastmail.com> skribis:
>
>> It seems we forgot to include the UEFI documentation update in the 0.13
>> release. Is it possible to do a "hotfix" release of the manual? Users are
>> already asking about this on #guix.. Oops!
>
> Could you push the fix to ‘version-0.13.0’?  I’ll rebuild/upload the
> manual from there.

Done!