[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#45536: [PATCH] Pretty-print keys without <> around modifiers
From: |
Lars Ingebrigtsen |
Subject: |
bug#45536: [PATCH] Pretty-print keys without <> around modifiers |
Date: |
Mon, 17 May 2021 17:11:20 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Mattias EngdegÄrd <mattiase@acm.org> writes:
> 2 jan. 2021 kl. 18.20 skrev Mattias EngdegÄrd <mattiase@acm.org>:
>
>> Good, here is the elaborated patch, complete with NEWS entry, a few
>> doc fixes, and tests.
>
> Not much of contention here; pushed. As always, I'm happy to carry out
> any necessary changes.
Looks good to me, and this was many months ago, so I guess there wasn't
any outpouring of protests. :-) So I'm closing this bug report.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers,
Lars Ingebrigtsen <=