[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread
|
From: |
Michael Albinus |
|
Subject: |
bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread |
|
Date: |
Wed, 20 Nov 2019 12:55:45 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> That wouldn't be very difficult to add to debbugs-gnu, actually. It
> already has the concept of "marked" bugs, so there could be a command
> like, say, `debbugs-gnu-show-marked' that just shows that list of bugs.
Patches welcome :-)
I'm not so fluid in writing gnus patches, so don't count on me.
Best regards, Michael.
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, (continued)
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/08
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/14
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/17
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/18
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/18
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, dick . r . chiang, 2019/11/18
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/18
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/19
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/19
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/20
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread,
Michael Albinus <=
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/20
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/12