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.

Greetings,
Maxime.