GNU bug report logs - #66797
29.1; Debbugs refresh is ineffective when used with get-bug-by-id

Previous Next

Full log

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

From: Stefan Kangas <stefankangas <at> gmail.com>
To: Michael Albinus <michael.albinus <at> gmx.de>
Cc: 66797-done <at> debbugs.gnu.org, Bruno Victal <mirai <at> makinata.eu>
Subject: Re: bug#66797: 29.1;
 Debbugs refresh is ineffective when used with get-bug-by-id
Date: Sun, 29 Oct 2023 02:52:58 -0700

Michael Albinus <michael.albinus <at> gmx.de> writes:

> I have extended the docstring of `debbugs-gnu-mode':
>
> --8<---------------cut here---------------start------------->8---
> (define-derived-mode debbugs-gnu-mode tabulated-list-mode "Debbugs"
>   "Major mode for listing bug reports.
> The bugs are are taken from the cache when the list is refreshed.
> In order to retrieve the actual bug status after it has been
> modified on the debbugs server, consider typing \\`C-u g'.
>
> \\{debbugs-gnu-mode-map}"
> --8<---------------cut here---------------end--------------->8---

LGTM, thanks.

It seems like there's nothing more to do here, so I'm closing this bug
report with this message.  I hope that's okay with you Bruno, and thanks
again for the bug report.

Previous Next

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