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

Previous Next

Full log

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

From: Joseph LaFreniere <joseph <at> lafreniere.xyz>
To: Nicolas Goaziou <mail <at> nicolasgoaziou.fr>
Cc: 43972 <at> debbugs.gnu.org
Subject: Re: [bug#43972] [PATCH] gnu: emacs-mixed-pitch: Update to 1.1.0.
Date: Wed, 14 Oct 2020 18:33:28 -0500

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

Nicolas Goaziou <mail <at> nicolasgoaziou.fr> writes:
> AFAICT, there are 3 commits since 1.1.0 release. One is about 
> updating
> copyright years, the other two are adding faces to a list. Is 
> there
> a strong reason to use a non-tagged commit instead of a regular 
> release?
> If you think so, could you explain it in a comment at the 
> beginning of
> the package?

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.

Thanks for the review!

--
Joseph LaFreniere

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

Previous Next

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