[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’.