|
| From: | Lars Ingebrigtsen |
| Subject: | Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread |
| Date: | Thu, 21 Nov 2019 14:03:16 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Michael Albinus <address@hidden> writes:
> That's (debbugs-gnu '("tagged"))
Ah, right.
> Don't know whether it is worth to provide it as extra command. Maybe
> just documenting in the debbugs user guide?
I think it's make a useful command.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
| [Prev in Thread] | Current Thread | [Next in Thread] |