GNU bug report logs - #67388
30.0.50; Unintended man page buffer-name change?

Previous Next

Package: emacs;

Reported by: Stephen Berman <stephen.berman <at> gmx.net>

Date: Wed, 22 Nov 2023 22:03:01 UTC

Severity: normal

Found in version 30.0.50

Done: Stephen Berman <stephen.berman <at> gmx.net>

Bug is archived. No further changes may be made.

Full log

Message #16 received at 67388-done <at> debbugs.gnu.org (full text, mbox):

From: Stephen Berman <stephen.berman <at> gmx.net>
To: Michael Albinus <michael.albinus <at> gmx.de>
Cc: 67388-done <at> debbugs.gnu.org
Subject: Re: bug#67388: 30.0.50; Unintended man page buffer-name change?
Date: Wed, 29 Nov 2023 18:47:19 +0100

On Wed, 29 Nov 2023 18:21:30 +0100 Michael Albinus <michael.albinus <at> gmx.de> wrote:

> Stephen Berman <stephen.berman <at> gmx.net> writes:
>
> Hi Stephen,
>
>> Given no reponse in a week, perhaps this fell under the radar, in
>> particular that of Michael Albinus (added to Cc:).
>
> I'm very sorry, I've overlooked this, indeed.
>
>> Michael, if you
>> confirm this was just a typo, I can install the patch to save you the
>> effort.  If it's not a typo, then you're in a better position than me to
>> decide what to do.
>
> Yep, it's a typo. Please install your patch. And thanks for catching this!

Done in commit e87644baa32 on master and closing the bug.  Thanks.

Steve Berman
This bug report was last modified 1 year and 231 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.