Subject: Re: bug#36876: guix system delete-generations removes custom boot menu entries
From: Ludovic Courtès <[email-masked]>
To: [email-masked] (Jakob L. Kreuze)
Cc: Danny Milosavljevic <[email-masked]>, [email-masked], Jesse Gibbons <[email-masked]>
Date: Fri, 30 Aug 2019 01:35:21 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed as c3e59de9b1340f1a0ef7e30dd2e4e7bf7b484ee9.

Let me know if anything’s still not quite as expected!

Ludo’.