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 #18 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: 12451 <at> debbugs.gnu.org
Subject: Re: bug#12451: [PATCH] Combine formatting faces with other
	highlighting
Date: Thu, 27 Dec 2012 18:18:11 +0100

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

> Here's a small correction (I don't see the messages I'm talking about
> below in the echo area, only in *Messages*, so they had escaped me):

Thanks; 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 152 days ago.

Previous Next

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