GNU bug report logs - #70134
[PATCH] Show all date options when adding Gnus scores interactively

Previous Next

Full log

View this message in rfc822 format

From: Andrea Corallo <acorallo <at> gnu.org>
To: Alex Bochannek <alex <at> bochannek.com>
Cc: "70134-done <at> debbugs.gnu.org" <70134 <at> debbugs.gnu.org>, Richard Stallman <rms <at> gnu.org>, Eric Abrahamsen <eric <at> ericabrahamsen.net>, Jakub Ječmínek <kuba <at> kubajecminek.cz>, "larsi <at> gnus.org" <larsi <at> gnus.org>, Eli Zaretskii <eliz <at> gnu.org>
Subject: bug#70134: [PATCH] Show all date options when adding Gnus scores interactively
Date: Thu, 30 May 2024 05:01:11 -0400

Alex Bochannek <alex <at> bochannek.com> writes:

> Jakub,
>
> Jakub Ječmínek <kuba <at> kubajecminek.cz> writes:
>
>> Ping.
>>
>> Jakub Ječmínek <kuba <at> kubajecminek.cz> writes:
>>
>>> Oops, forgot to attach a patch.
>
> Tested it again against top-of-tree and this patch resolves the previous
> issue. I think it's ready to merge!
>
> I am curious if you think adding support of the `=' match type for the
> date header makes sense? As I was testing this change, I found myself
> reaching for that, but I am not entirely convinced it's actually a
> useful feature. Either way, please don't hold up this change for that.
>
> As I mentioned before, I would be happy to merge if someone points me at
> instructions. In the past, eliz and larsi have merged changes I have
> submitted.

I've installed the patch so I'm closing this.

Alex do you have write access?

Thanks

  Andrea

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.