Processed: gnat-4.3: Merging 494962 and 501883
Processing commands for control@bugs.debian.org:
> tags 494962 -pending
Bug#494962: /bin/sh: line 1: 26087 Aborted (core dumped) ./xsinfo ../../sinfo.h
Tags were: pending
Tags removed: pending
> merge 494962 501883
Bug#494962: /bin/sh: line 1: 26087 Aborted (core dumped) ./xsinfo ../../sinfo.h
Bug#501883: gnat build failure with debian gnat
Merged 494962 501883.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: