Indeed I tried twice now to submit that bug and patch upstream, but this horrible piece of a bug tracker just swallows my reports: http://sourceware.org/cgi-bin/gnatsweb.pl?cmd=create&database=gdb.
I gave up and sent it to Debian now.
Indeed I tried twice now to submit that bug and patch upstream, but this horrible piece of a bug tracker just swallows my reports: http:// sourceware. org/cgi- bin/gnatsweb. pl?cmd= create& database= gdb.
I gave up and sent it to Debian now.