Processed: Re: Bug#791052: gmetadom: library transition may be needed when GCC 5 is the default

To: Julien Cristau <jcristau@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Re: Bug#791052: gmetadom: library transition may be needed when GCC 5 is the default
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 06 Aug 2015 19:33:06 +0000
Message-id: <[🔎] handler.s.B791052.143888951512286.transcript@bugs.debian.org>
References: <[🔎] 20150806193153.GA26300@betterave.cristau.org> <E1ZB0jL-00070V-2C@paradis.debian.org>

Processing control commands:

> tag -1 confirmed
Bug #791052 [src:gmetadom] gmetadom: library transition may be needed when GCC 5 is the default
Added tag(s) confirmed.
> severity -1 serious
Bug #791052 [src:gmetadom] gmetadom: library transition may be needed when GCC 5 is the default
Severity set to 'serious' from 'important'

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

Reply to:

References:
- Bug#791052: gmetadom: library transition may be needed when GCC 5 is the default
  - From: Julien Cristau <jcristau@debian.org>

Prev by Date: Bug#794586: ocaml: Please make ocamldoc produce reproducible manpages
Next by Date: Bug#791052: gmetadom: library transition may be needed when GCC 5 is the default
Previous by thread: Bug#791052: gmetadom: library transition may be needed when GCC 5 is the default
Next by thread: matita is marked for autoremoval from testing
Index(es):
- Date
- Thread