Subject: Re: bug#36876: guix system delete-generations removes custom boot menu entries

From: Ludovic Courtès <[email-masked]>
Date: Fri, 30 Aug 2019 01:35:21 +0200

Pushed as c3e59de9b1340f1a0ef7e30dd2e4e7bf7b484ee9.

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

Ludo’.