guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Ludovic Courtès
Subject: 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’.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]