[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master fa4203300fd: Merge remote-tracking branch 'origin/feature/whi
|
From: |
Michael Albinus |
|
Subject: |
Re: master fa4203300fd: Merge remote-tracking branch 'origin/feature/which-key-in-core' |
|
Date: |
Tue, 25 Jun 2024 12:04:38 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Philip Kaludercic <philipk@posteo.net> writes:
Hi Philip,
>>>> 1 unexpected results:
>>>> FAILED check-for-wrong-custom-opts
>>>
>>> This should fix the issue:
>>
>> Perhaps. Please install; we'll see it then.
>
> I have already done so, unless Git is deceiving me.
Thanks. Confirmed, that it fixes the problem.
Best regards, Michael.
Re: master fa4203300fd: Merge remote-tracking branch 'origin/feature/which-key-in-core', Eli Zaretskii, 2024/06/19
Re: master fa4203300fd: Merge remote-tracking branch 'origin/feature/which-key-in-core', Michael Albinus, 2024/06/24