GNU bug report logs - #12238
[PATCH] gnus-request-head generates bogus group names

Previous Next

Package: gnus;

Reported by: Dave Abrahams <dave <at> boostpro.com>

Date: Mon, 20 Aug 2012 02:28:03 UTC

Severity: normal

Tags: fixed, patch

Found in version 5.130006

Fixed in version 24.3

Done: Lars Ingebrigtsen <larsi <at> gnus.org>

Bug is archived. No further changes may be made.

Full log

Message #8 received at 12238 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Dave Abrahams <dave <at> boostpro.com>
Cc: 12238 <at> debbugs.gnu.org
Subject: Re: bug#12238: [PATCH] gnus-request-head generates bogus group names
Date: Wed, 05 Sep 2012 19:28:35 +0200

Dave Abrahams <dave <at> boostpro.com> writes:

> Subject: [PATCH] gnus-request-head: when gnus-override-method is set, allow
>  the backend `request-head' function to determine the group
>  name on its own.

This one is also applied?

-- 
(domestic pets only, the antidote for overdose, milk.)
  http://lars.ingebrigtsen.no  *  Lars Magne Ingebrigtsen
This bug report was last modified 12 years and 263 days ago.

Previous Next

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