[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: Merge #329691, #329693 and #329694



Processing commands for control@bugs.debian.org:

> merge 329691 329693 329694
Bug#329691: gnat: Run-time error not detected, RM 9.4(20)
Bug#329693: gnat: Run-time error not detected, RM 9.4(20)
Bug#329694: gnat: Run-time error not detected, RM 9.4(20)
Merged 329691 329693 329694.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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



Reply to: