GNU bug report logs - #12451
[PATCH] Combine formatting faces with other highlighting

Previous Next

Package: gnus;

Reported by: Wolfgang Jenkner <wjenkner <at> inode.at>

Date: Sat, 15 Sep 2012 15:21:02 UTC

Severity: normal

Tags: fixed, patch

Found in version 5.130006

Fixed in version 24.4

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

Bug is archived. No further changes may be made.

Full log

Message #10 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 #12451
Date: Tue, 25 Dec 2012 13:56:08 +0100

tags 12451 fixed
close 12451 24.4
This bug report was last modified 12 years and 152 days ago.

Previous Next

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