[Top][All Lists]

[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]