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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Wolfgang Jenkner <wjenkner <at> inode.at>
Cc: bugs <at> gnus.org, 12451 <at> debbugs.gnu.org
Subject: Re: bug#12451: [PATCH] Combine formatting faces with other
	highlighting
Date: Tue, 25 Dec 2012 13:55:53 +0100

Wolfgang Jenkner <wjenkner <at> inode.at> writes:

> This implements the proposal discussed in the thread starting with
>
> http://article.gmane.org/gmane.emacs.gnus.general/82112

Thanks; applied to Ma Gnus.

-- 
(domestic pets only, the antidote for overdose, milk.)
  http://lars.ingebrigtsen.no  *  Lars Magne Ingebrigtsen
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.