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 #12 received at control <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: control <at> debbugs.gnu.org
Subject: control message for bug #12238
Date: Wed, 05 Sep 2012 19:28:42 +0200

tags 12238 fixed
close 12238 24.3
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.