Protesilaos Stavrou <info@protesilaos.com> writes:

> On 2021-06-27, 13:39 -0300, David Bremner <david@tethera.net> wrote:
>
>> Protesilaos Stavrou <info@protesilaos.com> writes:
>>
>>> The use of a named face, notmuch-jump-key, makes it possible for users
>>> or theme developers to apply properties that are specific to each of
>>> those two cases.
>>>
>>
>> applied to master, thanks
>
> You are welcome!  I just noticed a mistake from my side.  Please refer
> to the attached patch.  Shall I start a new thread of will this one
> suffice?

I guess you should start a new thread. Please use a more informative
patch subject; you can mention the commit you are updating in the body
of the commit message. I would avoid the word "amend" because that has a
specific technical meaning in the context of git, and we're not going to
rewrite published history.

Thanks

David
_______________________________________________
notmuch mailing list -- notmuch@notmuchmail.org
To unsubscribe send an email to notmuch-leave@notmuchmail.org