guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#71237: Close


From: Andreas Enge
Subject: bug#71237: Close
Date: Fri, 14 Jun 2024 16:05:12 +0200

Pushed, thanks for the patch and the review!

Andreas






reply via email to

[Prev in Thread] Current Thread [Next in Thread]