[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#71718: Unicode symbols to represent which key special keys, bug#7171
From: |
Jeremy Bryant |
Subject: |
bug#71718: Unicode symbols to represent which key special keys, bug#71718: Unicode symbols to represent which key special keys |
Date: |
Fri, 28 Jun 2024 18:59:19 +0100 |
Robert Pluim <rpluim@gmail.com> writes:
>>>>>> On Fri, 28 Jun 2024 11:43:58 +0530, प्रद्युम्न परांजपे
>>>>>> <pradyparanjpe@gmail.com> said:
>
> Prady> I am unaware of the protocol here.
> Prady> I submitted the PR as a bug as advised by the owner of the
> repository on
> Prady> github.
>
> Prady> I agree with, and accept both suggestions (from Robert and Jeremy).
> Prady> How do I proceed with including the suggestions?
>
> Change your code to match the suggestions, ensure that all the changes
> are in 1 commit, then reply to this email with the file produced by
>
> git format-patch -1
>
> as an attachment. See "** Getting involved with development" in
> CONTRIBUTE in the emacs sources for more info.
>
> Prady> I am afraid I, being ignorant, might end up opening multiple bug
> reports
> Prady> messing up things.
> Prady> So I am not actively doing anything right now.
> Prady> Please guide me through.
>
> As long as you just reply to '71718@debbugs.gnu.org' and the other
> people in the email headers, you wonʼt end up creating multiple
> reports.
>
> Robert
Indeed.
Prady, to explain the recent change, please note that the original repo was
archived on github,
recently on the 25th, just after your initial PR.
which-key is now developed as part of Emacs, so please continue to
submit patches and bug reports here.