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

Previous Next

Full log

Message #16 received at 43972-done <at> debbugs.gnu.org (full text, mbox):

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.