Processed: Re: Bug#477964: gnat-4.3: FTBFS: grep: ../libgnatvsn/gnatvsn.ads: No such file or directory

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

Processing commands for control@bugs.debian.org:

> severity 477964 important
Bug#477964: gnat-4.3: FTBFS: grep: ../libgnatvsn/gnatvsn.ads: No such file or directory
Severity set to `important' from `serious'

> tags 477964 moreinfo
Bug#477964: gnat-4.3: FTBFS: grep: ../libgnatvsn/gnatvsn.ads: No such file or directory
There were no tags set.
Tags added: moreinfo

> merge 477964 465671
Bug#465671: gnat-4.3: sometimes builds gnattools before libgnatprj even though gnattools depends on libgnatprj
Bug#477964: gnat-4.3: FTBFS: grep: ../libgnatvsn/gnatvsn.ads: No such file or directory
Merged 465671 477964.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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