Processed: Re: libppl-dev: unhandled symlink to directory conversion: /usr/share/doc/PACKAGE

To: Andreas Beckmann <anbe@debian.org>
Cc: debian-gcc@lists.debian.org
Subject: Processed: Re: libppl-dev: unhandled symlink to directory conversion: /usr/share/doc/PACKAGE
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 20 Jul 2015 12:21:04 +0000
Message-id: <[🔎] handler.s.B788455.143739476431012.transcript@bugs.debian.org>
References: <[🔎] 20150720121918.28592.66491.reportbug@zam581.zam.kfa-juelich.de> <20150611150755.3519.40845.reportbug@zam581.zam.kfa-juelich.de>

Processing control commands:

> tag -1 patch
Bug #788455 [libppl-dev] libppl-dev: unhandled symlink to directory conversion: /usr/share/doc/PACKAGE
Added tag(s) patch.

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

Reply to:

References:
- Bug#788455: libppl-dev: unhandled symlink to directory conversion: /usr/share/doc/PACKAGE
  - From: Andreas Beckmann <anbe@debian.org>

Prev by Date: Bug#792204: Setting default CPU to ultrasparc for -m32 on sparc64 does not work
Next by Date: Bug#788455: libppl-dev: unhandled symlink to directory conversion: /usr/share/doc/PACKAGE
Previous by thread: Bug#788455: libppl-dev: unhandled symlink to directory conversion: /usr/share/doc/PACKAGE
Next by thread: Processing of gcc-snapshot_20150722-1_ppc64el.changes
Index(es):
- Date
- Thread