guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#73923] Close?

From: Andreas Enge
Subject: [bug#73923] Close?
Date: Tue, 22 Oct 2024 11:07:55 +0200 
Hello,

as I understand it, the patch has been applied? Then the bug could be closed.

Andreas
reply via email to
[Prev in Thread] Current Thread [Next in Thread]