Devuan bug report logs - #874
man1/gcc.1: Where did the manual page go? I can't find it

Package: gcc-doc; Maintainer for gcc-doc is (unknown); Source for gcc-doc is src:gcc-doc-defaults.

Reported by: Alejandro Colomar <alx@kernel.org>

Date: Fri, 24 Jan 2025 11:40:01 UTC

Severity: normal

Done: Mark Hindley <mark@hindley.org.uk>

Full log


🔗 View this message in rfc822 format

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.509 (Entity 5.509)
Content-Type: text/plain; charset=utf-8
X-Loop: owner@bugs.devuan.org
From: "Devuan bug Tracking System" <owner@bugs.devuan.org>
To: Alejandro Colomar <alx@kernel.org>
Subject: bug#874: Info received (bug#874: man1/gcc.1: Where did the manual
 page go? I can't find it)
Message-ID: <handler.874.B874.173772289117928.ackinfo@bugs.devuan.org>
References: <f2fbemvbl2makexn3jixz7d7wx6xdarlaqyko4iu2g5hnrq77b@thpofk5jj6ui>
X-Devuan-PR-Message: ack-info 874
X-Devuan-PR-Package: gcc-doc
Reply-To: 874@bugs.devuan.org
Date: Fri, 24 Jan 2025 12:50:04 +0000
Thank you for the additional information you have supplied regarding
this bug report.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 devuan-dev@lists.dyne.org

If you wish to submit further information on this problem, please
send it to 874@bugs.devuan.org.

Please do not send mail to owner@bugs.devuan.org unless you wish
to report a problem with the Bug-tracking system.

-- 
874: https://bugs.devuan.org/cgi/bugreport.cgi?bug=874
Devuan Bug Tracking System
Contact owner@bugs.devuan.org with problems

Send a report that this bug log contains spam.


Devuan BTS -- Powered by Debian bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson,
2005-2017 Don Armstrong, and many other contributors.

Devuan Bugs Owner <owner@bugs.devuan.org>.
Last modified: Mon Jan 27 04:48:28 2025;