Sorry, I included the wrong patch. This is the correct one: https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;a=commitdiff;h=5a6c3296a7a90694ad4042f6256f3da6d4fa4ee8 On Tue, Aug 21, 2018 at 11:36 AM Debian Bug Tracking System <ow...@bugs.debian.org> wrote: > > Thank you for filing a new Bug report with Debian. > > You can follow progress on this Bug here: 906822: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=906822. > > 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 > debian-i...@lists.debian.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): > Héctor Orón Martínez <zu...@debian.org> > > If you wish to submit further information on this problem, please > send it to 906...@bugs.debian.org. > > Please do not send mail to ow...@bugs.debian.org unless you wish > to report a problem with the Bug-tracking system. > > -- > 906822: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=906822 > Debian Bug Tracking System > Contact ow...@bugs.debian.org with problems