On Wed, Nov 03, 2021 at 08:50:39AM +0000, phodina via Guix-patches via wrote: > Hi Ludo, > > seems this patch has already been merged in commit > 81c7f13d74530f936d71f8404cdcc71770cf707e. > > Petr You can close bugs by changing the address from #####@debbugs.gnu.org to #####-done@debbugs.gnu.org, like I did with this email :) -- Efraim Flashner רנשלפ םירפא GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted