On 2018-05-31, GNU bug Tracking System wrote: > This is an automatic notification regarding your bug report > #31159: Reverse order for old grub.cfg entries, > which was filed against the guix package. > > Thank you for your report, which has now been closed. > You can view the full report at > http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31159 I don't see that the proposed patch was applied to any of the guix branches I'm aware of. Has it been merged and just not yet been pushed? Does it need to go to guix-patches instead of guix-bugs? Thanks! live well, vagrant