On 30-07-2022 13:22, Maxime Devos wrote:
> merge 56726 56786
> thanks
>
> On 26-07-2022 23:45, Antti Tarkiainen wrote:
>> building 
>> /gnu/store/hqryw0zg7hqsdmgrrmgh9qm98y4my8p9-git-minimal-2.37.1.drv...
>
> Duplicate of <https://debbugs.gnu.org/56726>, merging.
>
Also, for the error reporting, see 
<https://debbugs.gnu.org/cgi/bugreport.cgi?bug=50238>.