bug#41276: [PATCH v2 0/8] Various small improvements to EasyPG

[Jonas Bernoulli]

Eli Zaretskii <eliz@gnu.org> writes:

>> From: Jonas Bernoulli <jonas@bernoul.li>
>> Cc: 41276@debbugs.gnu.org
>> Date: Tue, 14 Jul 2020 20:09:20 +0200
>> 
>> Eli, do you want me to do anything else before merging?
>
> No, I think everything is in order.
>
> Thanks.

Ah, I should have stuck with the question I was initially going to ask.

  Do you want *me* to push this myself?

I was waiting for someone else to do it, since I am new here.  But it
is certainly easiest for me to do it, so if that's how things are done
around here, then I would be happy to do that.