Processed: Re: Bug#777776: apron: ftbfs with GCC-5

To: gregor herrmann <gregoa@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Re: Bug#777776: apron: ftbfs with GCC-5
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 03 Aug 2015 16:09:07 +0000
Message-id: <[🔎] handler.s.B777776.1438618045457.transcript@bugs.debian.org>
References: <[🔎] 20150803160713.GA11084@jadzia.comodo.priv.at> <E1YLr1r-0000VC-8z@paradis.debian.org>

Processing control commands:

> severity -1 normal
Bug #777776 [src:apron] apron: ftbfs with GCC-5
Severity set to 'normal' from 'serious'

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

Reply to:

References:
- Bug#777776: apron: ftbfs with GCC-5
  - From: gregor herrmann <gregoa@debian.org>

Prev by Date: Bug#777776: apron: ftbfs with GCC-5
Next by Date: Personaliseer de badges en plastic kaarten van uw bedrijf
Previous by thread: Bug#777776: apron: ftbfs with GCC-5
Next by thread: Personaliseer de badges en plastic kaarten van uw bedrijf
Index(es):
- Date
- Thread