GNU bug report logs - #43972
[PATCH] gnu: emacs-mixed-pitch: Update to 1.1.0.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#43972: closed ([PATCH] gnu: emacs-mixed-pitch: Update to 1.1.0.)
Date: Wed, 28 Oct 2020 14:57:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Wed, 28 Oct 2020 15:56:32 +0100
with message-id <87tuue1jrz.fsf <at> gnu.org>
and subject line Re: [bug#43972] [PATCH] gnu: emacs-mixed-pitch: Update to 1.1.0.
has caused the debbugs.gnu.org bug report #43972,
regarding [PATCH] gnu: emacs-mixed-pitch: Update to 1.1.0.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
43972: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43972
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Joseph LaFreniere <joseph <at> lafreniere.xyz>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: emacs-mixed-pitch: Update to 1.1.0.
Date: Tue, 13 Oct 2020 01:22:50 -0500

[Message part 3 (text/plain, inline)]

Patch file is attached.  There have been a couple of bugfix 
commits since the tagged 1.1.0, so I went ahead and just grabbed 
the current latest master.

--
Joseph LaFreniere

[0001-gnu-emacs-mixed-pitch-Update-to-1.1.0.patch (text/x-patch, attachment)]

[Message part 5 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Joseph LaFreniere <joseph <at> lafreniere.xyz>
Cc: 43972-done <at> debbugs.gnu.org, Nicolas Goaziou <mail <at> nicolasgoaziou.fr>
Subject: Re: [bug#43972] [PATCH] gnu: emacs-mixed-pitch: Update to 1.1.0.
Date: Wed, 28 Oct 2020 15:56:32 +0100

Hi,

Joseph LaFreniere <joseph <at> lafreniere.xyz> skribis:

> Given that this package is about faces, both of the two commits about
> adding faces consitute bug fixes for this ticket.  In particular, both
> of those commits address visual misalignment caused by the faces used
> for org-indent and line numbers being rendered in variable pitch
> faces.
>
> I have added a single-sentence comment to the start of the recipe. If
> it would be appropriate to reference the specific issue tickets' URLs
> I can do that instead or in addition to.

I think this addresses Nicolas’ concerns.

>>From 1022214b8fbb2c0dcb91ee335ab0c7a6721d782e Mon Sep 17 00:00:00 2001
> From: Joseph LaFreniere <joseph <at> lafreniere.xyz>
> Date: Tue, 13 Oct 2020 01:20:49 -0500
> Subject: [PATCH] gnu: emacs-mixed-pitch: Update to 1.1.0.
>
> * gnu/packages/emacs-xyz.scm (emacs-mixed-pitch): Update to 1.1.0.

So I went ahead and committed it, thanks!

Ludo’.

Previous Next

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