Processed: Re: Bug#845377: gdc-6: libdl trouble again

To: Matthias Klose <doko@debian.org>
Cc: debian-gcc@lists.debian.org
Subject: Processed: Re: Bug#845377: gdc-6: libdl trouble again
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 22 Nov 2016 22:39:06 +0000
Message-id: <[🔎] handler.s.B845377.147985422823215.transcript@bugs.debian.org>
References: <[🔎] ec3c5328-4c9f-1e5d-44b9-80f8e35ace6d@debian.org> <[🔎] 147984966349.21923.7518078054122118629.reportbug@fractal>

Processing control commands:

> severity -1 important
Bug #845377 [gdc-6] gdc-6: libdl trouble again
Severity set to 'important' from 'serious'

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

Reply to:

References:
- Bug#845377: gdc-6: libdl trouble again
  - From: Matthias Klose <doko@debian.org>
- Bug#845377: gdc-6: libdl trouble again
  - From: Peter De Wachter <pdewacht@gmail.com>

Prev by Date: Bug#845377: gdc-6: libdl trouble again
Next by Date: Bug#845377: gdc-6: libdl trouble again
Previous by thread: Bug#845377: gdc-6: libdl trouble again
Next by thread: Bug#845377: marked as done (gdc-6: libdl trouble again)
Index(es):
- Date
- Thread