Subject: Re: [PATCH v4 3/3] gnu: bootloader: Add a friendly error message of menu-entry.

From: Julien Lepiller <[email-masked]>
Date: Thu, 8 Sep 2022 22:33:06 +0200

Pushed to master as 52d780ea2b0714d035a84e350b516ca2e2c19af1 to
32da9bbc91d365f514ae41528587905b21c41825, thanks!