bug#62293: Done: Patch was pushed as commit a7d9cd742c3149bb014db95f88d1

guix-patches

From:	Arvid Krein
Subject:	bug#62293: Done: Patch was pushed as commit a7d9cd742c3149bb014db95f88d1158d590bc124
Date:	Fri, 2 Jun 2023 16:45:15 +0200
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0

This Patch was merged in commit a7d9cd742c3149bb014db95f88d1158d590bc124so I am marking it as done.


Greetings,
Arvid

[Prev in Thread]

Current Thread

[Next in Thread]

bug#62293: Done: Patch was pushed as commit a7d9cd742c3149bb014db95f88d1158d590bc124, Arvid Krein <=