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: Mark Hindley <mark@hindley.org.uk>
Subject: bug#696: Info received (proofgeneral: is designed for emacs24/25,
 does not work with emacs27)
Message-ID: <handler.696.B696.165943126028089.ackinfo@bugs.devuan.org>
References: <YujMnXs47UdcaTYS@hindley.org.uk>
X-Devuan-PR-Message: ack-info 696
X-Devuan-PR-Package: proofgeneral
Reply-To: 696@bugs.devuan.org
Date: Tue, 02 Aug 2022 09:08: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 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.