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

> Hi,
>
> Guillaume Le Vaillant <glv@posteo.net> skribis:
>
>> I can't build the updated psm2. There's an error with the git checkout:
>>
>> building /gnu/store/ws9m70k8rq78hc6ywpjzh54f69hjfr5g-psm2-12.0-checkout.drv...
>> Initialized empty Git repository in /gnu/store/m03npw5b871r4kb7c0hlv3bm1sl6lki3-psm2-12.0-checkout/.git/
>> fatal: couldn't find remote ref PSM2_12.0
>
> Sorry about that; fixed in 26a403f357f4471b14db7f01bb83a4c36ca5ef1b.
>
> Thanks,
> Ludo’.

Thanks!