Processed: Re: Bug box Program_Error exp_disp.adb:8445 explicit raise

To: Nicolas Boulenguez <nicolas@debian.org>
Cc: debian-gcc@lists.debian.org
Subject: Processed: Re: Bug box Program_Error exp_disp.adb:8445 explicit raise
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 29 Apr 2014 08:51:05 +0000
Message-id: <[🔎] handler.s.B427108.139876132911039.transcript@bugs.debian.org>
References: <[🔎] 20140429084847.30521.60054.reportbug@pegase> <20070601220934.GC13380@green.ada-france.org>

Processing control commands:

> retitle -1 Bug box Program_Error exp_disp.adb: explicit raise
Bug #427108 [gnat-4.8] Bug box Program_Error exp_disp.adb:8445 explicit raise
Changed Bug title to 'Bug box Program_Error exp_disp.adb: explicit raise' from 'Bug box Program_Error exp_disp.adb:8445 explicit raise'

-- 
427108: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=427108
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#427108: Bug box Program_Error exp_disp.adb:8445 explicit raise
  - From: Nicolas Boulenguez <nicolas@debian.org>

Prev by Date: Bug#427108: Bug box Program_Error exp_disp.adb:8445 explicit raise
Next by Date: Processed: triaging from gnat-4.8 to gnat-4.9
Previous by thread: Bug#427108: Bug box Program_Error exp_disp.adb:8445 explicit raise
Next by thread: Processed: triaging from gnat-4.8 to gnat-4.9
Index(es):
- Date
- Thread