Subject: bug#66797: 29.1; Debbugs refresh is ineffective when used with get-bug-by-id

From: Stefan Kangas <[email-masked]>
Date: Sat, 28 Oct 2023 13:06:18 -0700

Michael Albinus <[email-masked]> writes:

> That is correct behavior. Refreshing the bugs consults the cache (which
> expires after an hour). Getting fresh data from the debbugs.gnu.org
> server requires 'C-u g'. See the manual (info "(debbugs-ug) Tabulated Lists")

Is it worth documenting that in the `debbugs-gnu' docstring?