[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Adding a "quick-help" menu
From: |
Philip Kaludercic |
Subject: |
Re: Adding a "quick-help" menu |
Date: |
Fri, 14 Oct 2022 18:10:27 +0000 |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> Philip Kaludercic <philipk@posteo.net> writes:
>
>> So is this issue blocking the application of my patch, or should I go
>> ahead and push the current version?
>
> No, not a blocker -- go ahead and push when you feel it's ready.
Done.
- Re: Adding a "quick-help" menu, Philip Kaludercic, 2022/10/13
- Re: Adding a "quick-help" menu, Lars Ingebrigtsen, 2022/10/13
- Re: Adding a "quick-help" menu, Howard Melman, 2022/10/16
- Re: Adding a "quick-help" menu, Philip Kaludercic, 2022/10/16
- Re: Adding a "quick-help" menu, Howard Melman, 2022/10/16
- Re: Adding a "quick-help" menu, Philip Kaludercic, 2022/10/16
- RE: [External] : Re: Adding a "quick-help" menu, Drew Adams, 2022/10/16
- Re: Adding a "quick-help" menu, Howard Melman, 2022/10/17
- Re: Adding a "quick-help" menu, Eli Zaretskii, 2022/10/17
- Re: Adding a "quick-help" menu, Philip Kaludercic, 2022/10/17
- Re: Adding a "quick-help" menu, Eli Zaretskii, 2022/10/17
- Re: Adding a "quick-help" menu, Stefan Kangas, 2022/10/17