Your message dated Thu, 08 Jun 2017 16:33:17 +0200
with message-id <86shjaim6q.fsf@gmail.com>
and subject line Re: bug#27007: [PATCH v2 2/2] doc: Adapt to multiple bootloader support.
has caused the debbugs.gnu.org bug report #27007,
regarding 'menu-entry' disappeared from the bootloader API
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
27007: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=27007
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems