Processed: retitle 783877

To: Nicolas Boulenguez <nicolas@debian.org>
Cc: debian-gcc@lists.debian.org
Subject: Processed: retitle 783877
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sat, 26 Sep 2015 00:45:04 +0000
Message-id: <[🔎] handler.s.C.144322807529801.transcript@bugs.debian.org>
References: <20150926004113.GA15472@pegase>

Processing commands for control@bugs.debian.org:

> retitle 783877 [Fixed in 5] Bug box on raise in Dynamic_Predicate
Bug #783877 [gnat-4.9] gnat-4.9: Bug box on raise in Dynamic_Predicate
Changed Bug title to '[Fixed in 5] Bug box on raise in Dynamic_Predicate' from 'gnat-4.9: Bug box on raise in Dynamic_Predicate'
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
783877: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=783877
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

Prev by Date: Processed: reassign bugs from gnat-4.9 to gnat-5
Next by Date: Processed: retitle 780031
Previous by thread: Processed: reassign bugs from gnat-4.9 to gnat-5
Next by thread: Processed: retitle 780031
Index(es):
- Date
- Thread