Processed: gnat1 segfault when unchecked converting an identifier with type mismatch

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reassign 519336 gnat-4.3
Bug#519336: gnat1 segfault when unchecked converting an identifier with type mismatch
Bug reassigned from package `gnat' to `gnat-4.3'.

> tags 519336 confirmed upstream
Bug#519336: gnat1 segfault when unchecked converting an identifier with type mismatch
There were no tags set.
Tags added: confirmed, upstream

> forwarded 519336 http://gcc.gnu.org/PR40185
Bug#519336: gnat1 segfault when unchecked converting an identifier with type mismatch
Noted your statement that Bug has been forwarded to http://gcc.gnu.org/PR40185.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)