[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#45536: [PATCH] Pretty-print keys without <> around modifiers
From: |
Mattias Engdegård |
Subject: |
bug#45536: [PATCH] Pretty-print keys without <> around modifiers |
Date: |
Tue, 5 Jan 2021 11:47:03 +0100 |
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.
bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Eli Zaretskii, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Mattias Engdegård, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Eli Zaretskii, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Mattias Engdegård, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Eli Zaretskii, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Mattias Engdegård, 2021/01/01
- bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Eli Zaretskii, 2021/01/01
bug#45536: [PATCH] Pretty-print keys without <> around modifiers, Drew Adams, 2021/01/01