Devuan bug report logs - #696
proofgeneral: is designed for emacs24/25, does not work with emacs27 (present in Debian11/Devuan4)

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: Hans Crauel <crauel_usenet@freenet.de>
Subject: bug#696: Acknowledgement (proofgeneral: is designed for
 emacs24/25, does not work with emacs27 (present in Debian11/Devuan4))
Message-ID: <handler.696.B.16590369728494.ack@bugs.devuan.org>
References: <165903688697.4900.7482578330570836840.reportbug@khastam>
X-Devuan-PR-Message: ack 696
X-Devuan-PR-Package: proofgeneral
Reply-To: 696@bugs.devuan.org
Date: Thu, 28 Jul 2022 19:38:06 +0000

Thank you for filing a new bug report with Devuan.

You can follow progress on this bug here: 696: https://bugs.devuan.org/cgi/bugreport.cgi?bug=696.

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.

As you requested using X-Debbugs-CC, your message was also forwarded to
  crauel_usenet@freenet.de
(after having been given a bug report number, if it did not have one).

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 696@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.

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

Send a report that this bug log contains spam.