bug#43972: closed ([PATCH] gnu: emacs-mixed-pitch: Update to 1.1.0.)

[GNU bug Tracking System]

Your message dated Wed, 28 Oct 2020 15:56:32 +0100
with message-id <87tuue1jrz.fsf@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@gnu.org.)


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

--- Begin Message --- Subject: [PATCH] gnu: emacs-mixed-pitch: Update to 1.1.0. Date: Tue, 13 Oct 2020 01:22:50 -0500 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
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#43972] [PATCH] gnu: emacs-mixed-pitch: Update to 1.1.0.
>
>
>
>
> Date: 
>
> Wed, 28 Oct 2020 15:56:32 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
>
>
>
>
> Hi,
>
> Joseph LaFreniere <joseph@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@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’.
>
>
> --- End Message ---