Processing commands for [EMAIL PROTECTED]:

> 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)


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to