Thank you for filing a new Bug report with Debian.
You can follow progress on this Bug here: 967920: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=967920.
This is an automatically generated reply to let you know your message
has been received.
Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.
As you requested using X-Debbugs-CC, your message was also forwarded to
diegoe@gnome.org
(after having been given a Bug report number, if it did not have one).
Your message has been sent to the package maintainer(s):
Debian Install System Team <debian-boot@lists.debian.org>
If you wish to submit further information on this problem, please
send it to 967920@bugs.debian.org.
Please do not send mail to owner@bugs.debian.org unless you wish
to report a problem with the Bug-tracking system.
--
967920: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=967920
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems