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

Received: (at 696-done) by bugs.devuan.org; 18 Aug 2023 17:09:02 +0000
Return-Path: <mark@hindley.org.uk>
Delivered-To: bugs@devuan.org
Received: from email.devuan.org [2a01:4f8:140:32a1::58c6:6473]
	by doc.devuan.org with IMAP (fetchmail-6.4.16)
	for <debbugs@localhost> (single-drop); Fri, 18 Aug 2023 17:09:02 +0000 (UTC)
Received: from email.devuan.org
	by email.devuan.org with LMTP
	id KKmUMJel32Q6FQAAmSBk0A
	(envelope-from <mark@hindley.org.uk>)
	for <bugs@devuan.org>; Fri, 18 Aug 2023 17:08:39 +0000
Received: by email.devuan.org (Postfix, from userid 109)
	id BD7BD5F5; Fri, 18 Aug 2023 17:08:39 +0000 (UTC)
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on email.devuan.org
X-Spam-Level: 
X-Spam-Status: No, score=0.4 required=5.0 tests=RDNS_DYNAMIC,SPF_PASS
	autolearn=no autolearn_force=no version=3.4.6
Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=193.36.131.86; helo=mx.hindley.org.uk; envelope-from=mark@hindley.org.uk; receiver=<UNKNOWN> 
Received: from mx.hindley.org.uk (193-36-131-86.cfwn.uk [193.36.131.86])
	by email.devuan.org (Postfix) with ESMTPS id 6B2E927
	for <696-done@bugs.devuan.org>; Fri, 18 Aug 2023 17:08:39 +0000 (UTC)
Received: from hindley.org.uk (apollo.hindleynet [192.168.1.3])
	by mx.hindley.org.uk (Postfix) with SMTP id E0F15E0D
	for <696-done@bugs.devuan.org>; Fri, 18 Aug 2023 18:08:38 +0100 (BST)
Received: (nullmailer pid 944 invoked by uid 1000);
	Fri, 18 Aug 2023 17:08:38 -0000
Date: Fri, 18 Aug 2023 18:08:38 +0100
From: Mark Hindley <mark@hindley.org.uk>
To: 696-done@bugs.devuan.org
Subject: Fixed in Debian #917461
Message-ID: <ZN+lll/sgIABjsY0@hindley.org.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-Debbugs-No-Ack: No Thanks